Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
84dabae37419aa14cde3d0f74b472b786dbd1c0d
Switch branch/tag
spot
src
tgbatest
Makefile.am
Find file
Blame
History
Permalink
Add some test of the SAT-based minimization.
· 84dabae3
Alexandre Duret-Lutz
authored
May 16, 2013
* src/tgbatest/satmin.test: New file. * src/tgbatest/Makefile.am: Add it.
84dabae3