issues
search
termite2
/
Termite
The Termite driver synthesis tool
30
stars
7
forks
source link
README in the top-level directory explaining how to build and test the tool
#7
Closed
ryzhyk
closed
9 years ago
ryzhyk
commented
10 years ago
with instructions for compiling and running termite
with instructions for compiling and running termite