redianthus/klee-testcomp
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
1 commit 1 branch 0 tags 69 MiB
  • Python 50.5%
  • C++ 30.4%
  • C 16.7%
  • Shell 2.4%
Find a file
Exact
zapashcanon 2ad7310783
 first commit
2024-05-28 22:58:52 +02:00
bin first commit 2024-05-28 22:58:52 +02:00
include first commit 2024-05-28 22:58:52 +02:00
klee_build first commit 2024-05-28 22:58:52 +02:00
libraries first commit 2024-05-28 22:58:52 +02:00
licenses first commit 2024-05-28 22:58:52 +02:00
LICENSE.TXT first commit 2024-05-28 22:58:52 +02:00
README.TXT first commit 2024-05-28 22:58:52 +02:00

README.TXT 

Artifact for KLEE Test-Comp 2021

This resembles KLEE upstream including changes to
handle Test-Comp specific requirements.