diff options
| author | Sidney Congard | 2022-07-28 14:24:41 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-07-28 14:24:41 +0200 |
| commit | af298b98b7efe8c6dba86a99dc9c07c3c43ce14d (patch) | |
| tree | 0b45753ecdd5ae9fdc1536ddc0eb3e102271aee5 /tests/betree/Primitives.fst | |
| parent | fe7949c350bb3c5e2b9990ab3594b256194c3f0b (diff) | |
Always put can_fail to true, specialize global traduction to concrete function call and symbolic fresh value
Diffstat (limited to 'tests/betree/Primitives.fst')
0 files changed, 0 insertions, 0 deletions