[klee-dev] Question on Klee-array Virtual Machine

[张雨姗]

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
-------------- next part --------------
HTML attachment scrubbed and removed