Changes between Version 5 and Version 6 of Challenge

Timestamp:

03/11/19 16:12:10 (7 years ago)

Author:

siegel

Comment:

--

Challenge

@@ -34 +34 @@
  the latter you must include `assert.h`.    CIVL-C has a richer assertion
  language that C---e.g., you can use quantifiers.
+
+ `$assume(expr)`::
+  Assumes this expression is true, i.e., if the expression is not true, the
+  the execution is not considered to be a valid execution of the program.
 
  `$forall` and `$exists`::