Changes between Version 12 and Version 13 of Challenge
- Timestamp:
- 03/12/19 04:15:31 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Challenge
v12 v13 86 86 Returns an integer nondeterministically chosen from 0..n-1. 87 87 88 `$choose { stmt1 stmt2 ... }` 88 `$choose { stmt1 stmt2 ... }`:: 89 89 Structural nondeterminism. Chooses one of the enabled statements 90 90 nondeterministically. The statements are often guarded using `$when`.
