summaryrefslogtreecommitdiff
path: root/tests/fstar
diff options
context:
space:
mode:
authorNadrieril2024-05-22 19:23:03 +0200
committerGuillaume Boisseau2024-05-24 14:24:38 +0200
commita9471e615e03d6fa0bc1594176fe504c9a3c88ae (patch)
tree31ce18c2d053ecf40dcced79336df11a963bffbb /tests/fstar
parent6ae8cde046530371345863f04d84be32b2a757bf (diff)
Set all options in the test runner
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions