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