src/tgbatest/Makefile.am · 84dabae37419aa14cde3d0f74b472b786dbd1c0d · Spot / Spot · GitLab

May 16, 2013
84dabae3
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
Add some test of the SAT-based minimization.
Alexandre Duret-Lutz authored May 16, 2013
```
* src/tgbatest/satmin.test: New file.
* src/tgbatest/Makefile.am: Add it.
```