Collections-C Gillian's Collections-C Symbolic Test Suite in Wasm Built from source Sources come pre-compiled in the directory _build. To build from source one must: Install the dependencies: llvm, clang, lld, wabt Then, build using make: make -j4