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 /dune-project | |
parent | fe7949c350bb3c5e2b9990ab3594b256194c3f0b (diff) |
Always put can_fail to true, specialize global traduction to concrete function call and symbolic fresh value
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions