summaryrefslogtreecommitdiff
path: root/tests/Makefile.template
diff options
context:
space:
mode:
authorSidney Congard2022-07-28 14:24:41 +0200
committerSidney Congard2022-07-28 14:24:41 +0200
commitaf298b98b7efe8c6dba86a99dc9c07c3c43ce14d (patch)
tree0b45753ecdd5ae9fdc1536ddc0eb3e102271aee5 /tests/Makefile.template
parentfe7949c350bb3c5e2b9990ab3594b256194c3f0b (diff)
Always put can_fail to true, specialize global traduction to concrete function call and symbolic fresh value
Diffstat (limited to 'tests/Makefile.template')
0 files changed, 0 insertions, 0 deletions