Merge pull request #135 from ChrisEdel/btor2

Implemented follow and merge decision
cksystemsteaching · Jul 25, 2019 · e867e6a · e867e6a
2 parents 2c10bf2 + dc0cf1e
commit e867e6a
Show file tree

Hide file tree

Showing 2 changed files with 952 additions and 57 deletions.
diff --git a/Makefile b/Makefile
@@ -88,8 +88,7 @@ qemu: selfie.m selfie.s
 # Test boolector SMT solver
 boolector: smt
 	boolector manuscript/code/symbolic/simple-assignment.smt -e 0 > selfie_boolector.sat
-	[ $$(grep ^sat$$ selfie_boolector.sat | wc -l) -eq 2 ]
-	[ $$(grep ^unsat$$ selfie_boolector.sat | wc -l) -eq 1 ]
+	[ $$(grep ^sat$$ selfie_boolector.sat | wc -l) -eq 1 ]
 
 # Test btormc bounded model checker
 btormc: mc