summaryrefslogtreecommitdiff
path: root/tests/coq/betree/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-09 14:22:06 +0100
committerSon Ho2023-11-09 14:22:06 +0100
commit9157959cc421c481cf584ada69f51d58da82e8f9 (patch)
tree77ae816309919eb9d97df6d5ca63c6649af324f3 /tests/coq/betree/Makefile
parenteec2643daad40d3ceec51cd83eb01e7c9db1824d (diff)
Deactivate the HOL4 tests
Diffstat (limited to 'tests/coq/betree/Makefile')
0 files changed, 0 insertions, 0 deletions