sudo apt-get update
密码 klee
sudo apt-get install gcc
export LD_LIBRARY_PATH=/home/klee/lib/:$LD_LIBRARY_PATH
gcc -I ../../include -L /home/klee/lib/ get_sign.c -lkleeRuntest
sudo apt-get update
密码 klee
sudo apt-get install gcc
export LD_LIBRARY_PATH=/home/klee/lib/:$LD_LIBRARY_PATH
gcc -I ../../include -L /home/klee/lib/ get_sign.c -lkleeRuntest