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 /Makefile | |
| parent | 5a96e28b8706ed945ccbb569881ca1888cd73ace (diff) | |
Add a `-use-fuel` option
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -120,10 +120,12 @@ tfstar-no_nested_borrows tfstar-paper: trans-hashmap: OPTIONS += -no-state trans-hashmap: SUBDIR:=hashmap tfstar-hashmap: OPTIONS += -decreases-clauses -template-clauses +tcoq-hashmap: OPTIONS += -use-fuel trans-hashmap_main: OPTIONS += trans-hashmap_main: SUBDIR:=hashmap_on_disk tfstar-hashmap_main: OPTIONS += -decreases-clauses -template-clauses +tcoq-hashmap_main: OPTIONS += -use-fuel transp-polonius_list: OPTIONS += -test-units -test-trans-units -no-split-files -no-state transp-polonius_list: SUBDIR:=misc |