summaryrefslogtreecommitdiff
path: root/tests/coq/arrays
diff options
context:
space:
mode:
authorNadrieril2024-05-27 17:22:07 +0200
committerNadrieril2024-05-28 11:36:31 +0200
commit9cc69020773cc77965a6faa6f0d46f179de3d8b8 (patch)
tree05cf73f3cd277bc7bcc557cfc10982c6f1d440c0 /tests/coq/arrays
parentf77e3f9cbe2ea7abeb4be815bdbf33d0c98076c2 (diff)
runner: Store options for crate tests in a separate file
Diffstat (limited to 'tests/coq/arrays')
0 files changed, 0 insertions, 0 deletions