Hi all,
I downloaded the virtual machine for ISSTA'17 paper here, but it requires
username and password to login. Does anyone know the correct information needed
to run the machine?
And where could I find the instructions to compile Binutils 2.27 correctly as
*.bc? I try to follow the instructions for Coreutils, but after the "make"
command, the tutorial didn't work anymore.
I appreciate any possible help.
Thank you all,
Yushan
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev