Add tool launcher - Githubissues

cosyverif / library

http://cosyverif.org

MIT License

0 stars 6 forks source link

Closed saucisson closed 8 years ago

saucisson commented 8 years ago

Fix #186

saucisson commented 8 years ago

Install https://github.com/CosyVerif/tool-graphinfo (in the dev branch) to test this pull request.

hle35 commented 8 years ago

please rember to replace string graphinfo.test by string graphinfo-test in graphinfo-test.lua