Run make
Specification and rough TODO list located in docs.
docker pull klee/klee
docker run --rm -ti --volume={Path to RPG}:/home/klee/Code --ulimit='stack=-1:-1' klee/klee
cd Code/test/klee
make
ktest-tool --write-ints klee-last/test#.ktest
CSUN-COMP587-F18/RPG
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- C++ 88.0%
- Python 9.0%
- CMake 1.1%
- M4 0.6%
- Makefile 0.5%
- Shell 0.4%
- Other 0.4%