issues
search
termite2
/
Termite
The Termite driver synthesis tool
30
stars
7
forks
source link
Help text should indicate that both -i and -g are needed for C generation.
#14
Open
davidcock
opened
9 years ago
davidcock
commented
9 years ago
Inscrutable error messages result if either is left off.
Inscrutable error messages result if either is left off.