Makefile
7.82 KB
-
Merge pull request #47 from SergeyDegtyar/master · 3cd49561Add tests for error messages to 'frontends' group; Test write_btor_no_driver removed.
Miodrag Milanović committed
Add tests for error messages to 'frontends' group; Test write_btor_no_driver removed.