numinit/ap-cs-klee
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Files
master
ap-cs-klee/README.md

124 B
Raw Permalink Blame History

Getting started

  1. Run nix-shell
  2. Run make clean klee CFLAGS=-DdrawSquare=drawSquareWeird to run drawSquareWeird
Reference in New Issue View Git Blame Copy Permalink