Changes between Version 11 and Version 12 of Challenge

Timestamp:

03/12/19 04:14:59 (7 years ago)

Author:

siegel

Comment:

--

Challenge

@@ -83 +83 @@
  * `$forall (int i:a..b) p(i)`  -- same as above, but more convenient
 
+ `int $choose_int(int n)`::
+ Returns an integer nondeterministically chosen from 0..n-1.
 
+ `$choose { stmt1 stmt2 ... }`
+ Structural nondeterminism.  Chooses one of the enabled statements
+ nondeterministically.  The statements are often guarded using `$when`.
 
 == MPI Reference ==