summaryrefslogtreecommitdiff
path: root/tests/fstar
diff options
context:
space:
mode:
authorSon Ho2023-12-21 15:25:06 +0100
committerSon Ho2023-12-21 15:25:06 +0100
commitd9f91cfcd538525f024c6019d7c8250dda8d76fd (patch)
tree511db3d6ab5036f0de1b665ff22923d9a068f41a /tests/fstar
parent435fe4cf63869448e2b25486b564ede9efa9a34b (diff)
Remove some asserts which are now useless
Diffstat (limited to 'tests/fstar')
0 files changed, 0 insertions, 0 deletions