diff options
author | Son Ho | 2022-11-14 14:05:26 +0100 |
---|---|---|
committer | Son HO | 2022-11-14 14:21:04 +0100 |
commit | e5bd97f4ad08b277057a23094f2cc76abbeeaddb (patch) | |
tree | e729f7616e6aced7f78fb1b6f5beaec3f1d2b22f /compiler/Config.ml | |
parent | 5a96e28b8706ed945ccbb569881ca1888cd73ace (diff) |
Add a `-use-fuel` option
Diffstat (limited to 'compiler/Config.ml')
-rw-r--r-- | compiler/Config.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index 28218b7b..f4280e80 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -110,7 +110,11 @@ let always_deconstruct_adts_with_matches = ref false (** Controls whether we need to use a state to model the external world (I/O, for instance). *) -let use_state = ref true (* TODO *) +let use_state = ref true + +(** Controls whether we use fuel to control termination. + *) +let use_fuel = ref false (** Controls whether backward functions update the state, in case we use a state ({!use_state}). |