環境構築
1. 必要な物を入れる
sudo apt-get install git bison flex libboost-dev gcc-multilib g++-multilib
普通に入れると、cmakeのバージョンが足りないので、以下のサイトを参考にこれだけ最新を入れる
https://askubuntu.com/questions/610291/how-to-install-cmake-3-2-on-ubuntu-14-04
2. 最新版を持ってきて、ビルド用フォルダを作る
cd ~ git clone https://github.com/Geof23/Gklee.git cd Gklee mkdir build cd build
3. ビルドする
cmake .. make -j4
時間が結構かかります
あとサイズも結構でかいので、注意
4. パスを通す
cd ~ vim .bashrc
これでbashrcの末尾に
export KLEE_HOME_DIR=~/Gklee export PATH=$KLEE_HOME_DIR/bin:$PATH
を挿入し、
source .bashrc
で反映させる
テスト
cd ~/Gklee git clone https://github.com/Geof23/GkleeTests.git cd GkleeTests/deadlock_0 ../execute_test.sh deadlock_0.cu
をすると、実行できる。gklee_log.txtに結果が書いてある(デッドロック起きてるぞって結果)