summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-05-28 18:04:38 +0200
committerSon Ho2024-05-28 18:04:38 +0200
commit2b5186fef6932995626790af241eaed4e7cc02ae (patch)
tree72c9599c7f17423cb2f3cbc52609ad01b84a164d /tests/fstar/Makefile
parentef7792c106a1f33397c206fcb5124b5ddfe64378 (diff)
Fix a bug in SymbolicToPure.translate_loop
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions