Skip to content
Browse files

Slighltly improved comments in example code.

  • Loading branch information...
1 parent 34da98e commit 761d2041f8fa529d94d986be43191cbf27a5305e @delcypher delcypher committed
Showing with 5 additions and 1 deletion.
  1. +5 −1 examples/simple/example.c
View
6 examples/simple/example.c
@@ -29,11 +29,15 @@ int main(int argc, char** argv)
vc_assertFormula(handle, vc_trueExpr(handle) );
+ // We are asking STP: ∀ x. true → ( x + x = 2*x )
+ // This should be VALID.
printf("######First Query\n");
handleQuery(handle, equality);
- // Create bool expression x + x = 2
+ // We are asking STP: ∀ x. true → ( x + x = 2 )
+ // This should be INVALID.
printf("######Second Query\n");
+ // Create bool expression x + x = 2
Expr badEquality = vc_eqExpr(handle, xPlusx , two);
handleQuery(handle, badEquality);

0 comments on commit 761d204

Please sign in to comment.
Something went wrong with that request. Please try again.