summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-03-08 00:39:05 +0100
committerSon HO2023-06-04 21:44:33 +0200
commit14aed083b850c2d8a77cfe394827aeecce06514b (patch)
tree8486ce9eb6ca80668d34c3422ef89e29018ec269 /tests/fstar/Makefile
parentc00d77052e8cb778e5311a4344cf8449dd3726b6 (diff)
Improve the generation of variant names for Lean
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions