JianHong Zhao

I use ./script/docker_build at ubuntu 16.04. After that, the project was mounted in runtimeverificationinc/c-semantics:latest. Then I use the Detailed instructions to rebuild the environment, and "kcc ./test/unit-pass/hello.C"

https://github.com/liyili2/llvm-semantics-1 gives the result

Thank you very much for this helpful tutorial! In my macbook air M2, this command cannot be ommitted in `.bazelrc`:`common --host_cxxopt='-std=c++17'`. However, the environment setup seems can be skiped. I...