Changes between Version 39 and Version 40 of ContractReduction

Timestamp:

12/11/15 13:35:54 (10 years ago)

Author:

zmanchun

Comment:

--

ContractReduction

@@ -6 +6 @@
 * `depends` clause: specify the dependency relation of the function, usually used for partial order reduction (POR) or other analysis
  * `\calls(fun, arg0, arg1, ...)`: an action of invoking a function with certain arguments
- * `\noact`: empty set of actions
- * `\anyact`: any actions
+ * `\noact`: empty set of actions ** or `depends false`?**
+ * `\anyact`: any actions ** or `depends true`?**
  * memory actions: `\read(mu-list)`, `\write(mu-list)`
  * action operations: `+`, `-`, `&`