summaryrefslogtreecommitdiff
path: root/tests/fstar/traits
diff options
context:
space:
mode:
authorNadrieril2024-05-23 09:58:36 +0200
committerGuillaume Boisseau2024-05-24 14:24:38 +0200
commit9e834db4174a900845199ccb189b575a20f11eda (patch)
treea8ccbbad52a3e1c75ac3c338824b430b82f67179 /tests/fstar/traits
parenta9471e615e03d6fa0bc1594176fe504c9a3c88ae (diff)
Cleanup test runner
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions