Added better coverage report for theories

2015-09-04 14:59:42 +02:00 · 2015-09-04 14:59:42 +02:00 · 2bc980a39a
commit 2bc980a39a
parent 5b840e546e
1 changed files with 1 additions and 0 deletions
--- a/samples/tests/early_exit.sh
+++ b/samples/tests/early_exit.sh
@ -1,2 +1,3 @@
 #!/bin/sh
 ./simple --no-early-exit --always-succeed
+./theories --no-early-exit --always-succeed