Changes between Version 5 and Version 6 of Tour

Timestamp:

09/07/18 10:08:37 (8 years ago)

Author:

wuwenhao

Comment:

--

Tour

@@ -12 +12 @@
 
 {{{
+/* Dining philosophers, standard version, which deadlocks.
+ *
+ *              civl verify -inputB=4 diningBad.cvl
+ * or (if you want to find the minimal counterexample)
+ *              civl verify -inputB=4 diningBad.cvl -min
+ */
 #include <civlc.cvh>
 
@@ -33 +39 @@
 
 void main() { 
+  $elaborate(n);
   $for(int i: 0 .. n-1)
     forks[i] = $true;