diff options
author | Nadrieril | 2024-05-23 10:05:04 +0200 |
---|---|---|
committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
commit | b953b89f9739c6703c49667781f5509b1b2a3898 (patch) | |
tree | e7b1a658a2e35c55fe26f185485486406c3800f1 /tests/coq/misc/External_Funs.v | |
parent | 9e834db4174a900845199ccb189b575a20f11eda (diff) |
Let the runner choose which backends to use
Diffstat (limited to 'tests/coq/misc/External_Funs.v')
0 files changed, 0 insertions, 0 deletions