diff options
| author | Kathy Gray | 2015-11-24 19:05:10 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-24 19:05:10 +0000 |
| commit | 4c459ece7d01288d5529862e116fd75db9c1afd9 (patch) | |
| tree | 3ac2c7ca83274b666ba61d5c78633bd486105d1d /language/l2.ml | |
| parent | 10321a2cf266b57dfa5ebe3606d24ac3d6bc7d74 (diff) | |
Add BE_escape effect when an E_exit is seen
Close #20
Diffstat (limited to 'language/l2.ml')
| -rw-r--r-- | language/l2.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language/l2.ml b/language/l2.ml index 9f7b1636..2f2bc839 100644 --- a/language/l2.ml +++ b/language/l2.ml @@ -1,4 +1,4 @@ -(* generated by Ott 0.25 from: l2.ott *) +(* generated by Ott 0.24 from: l2.ott *) type text = string @@ -72,6 +72,7 @@ base_effect_aux = (* effect *) | BE_unspec (* unspecified values *) | BE_nondet (* nondeterminism from intra-instruction parallelism *) | BE_lset (* Local mutation happend; not user-writable *) + | BE_escape (* Internal tracking of expressions and functions that might call exit *) type |