search

kframework / c-semantics

Semantics of C in K
Other
306 stars 41 forks source link

after kcc, a.out can't run #657

Open Stevengre opened 3 years ago

Stevengre commented 3 years ago

user@3c9d2b9c862b:~/mounted$ ./a.out [Error] Critical: Could not read from /home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-kompiled/c-cpp-kompiled/compiled.bin (java.lang.reflect.InvocationTargetException)

Stevengre commented 3 years ago

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"