commented out tests

Fault-lang · Apr 14, 2023 · fbfd101 · fbfd101
1 parent 4a27343
commit fbfd101
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/smt/generator_test.go b/smt/generator_test.go
@@ -477,19 +477,19 @@ func TestTestData(t *testing.T) {
 func TestSys(t *testing.T) {
 	specs := [][]string{
 		{"testdata/statecharts/statechart.fsystem", "0"},
-		/*{"testdata/statecharts/advanceor.fsystem", "0"},
+		{"testdata/statecharts/advanceor.fsystem", "0"},
 		{"testdata/statecharts/multioradvance.fsystem", "0"},
 		{"testdata/statecharts/advanceand.fsystem", "0"},
-		{"testdata/statecharts/mixedcalls.fsystem", "1"},
-		{"testdata/statecharts/triggerfunc.fsystem", "1"},*/
+		{"testdata/statecharts/mixedcalls.fsystem", "0"},
+		{"testdata/statecharts/triggerfunc.fsystem", "0"},
 	}
 	smt2s := []string{
 		"testdata/statecharts/statechart.smt2",
-		/*"testdata/statecharts/advanceor.smt2",
+		"testdata/statecharts/advanceor.smt2",
 		"testdata/statecharts/multioradvance.smt2",
 		"testdata/statecharts/advanceand.smt2",
 		"testdata/statecharts/mixedcalls.smt2",
-		"testdata/statecharts/triggerfunc.smt2",*/
+		"testdata/statecharts/triggerfunc.smt2",
 	}
 	for i, s := range specs {
 		data, err := os.ReadFile(s[0])