Open gitttt opened 8 years ago
This looks like the release build of S2E is used, which is currently broken. I'm investigating the problem, but I'm not sure where it stems from. Check that the S2E_DIR environment variable points to the right path ("..../qemu-debug").
I am not sure if the box was correctly setup. It hung at the end of the
vagrant up
. Are the below failing tests the result of a half set-up box? Or are other problems causing the tests to fail?