Add .acl2 file for verify-guards-program-tests (needed for the ttag).

acl2 · Jul 23, 2016 · 2c73e2f · 2c73e2f
1 parent 5cb08c8
commit 2c73e2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/books/kestrel/system/verify-guards-program-tests.acl2 b/books/kestrel/system/verify-guards-program-tests.acl2
@@ -0,0 +1 @@
+; cert-flags: ? t :ttags :all