summaryrefslogtreecommitdiff
path: root/tests/fstar
diff options
context:
space:
mode:
authorSon Ho2024-04-04 13:21:08 +0200
committerSon Ho2024-04-04 13:21:08 +0200
commitbac38f94aacf4a0d621b0b2d2c423db9e0c6f175 (patch)
tree1a9de8e4593f44001cbd9bd9c370c9317733feca /tests/fstar
parent975ddb208f18cb4ba46293dd788c46eb1ce43938 (diff)
Improve the name of the backward functions further
Diffstat (limited to 'tests/fstar')
0 files changed, 0 insertions, 0 deletions