summaryrefslogtreecommitdiff
path: root/tests/coq/demo/Makefile
diff options
context:
space:
mode:
authorEscherichia2024-03-12 15:02:17 +0100
committerEscherichia2024-03-28 14:59:01 +0100
commita64fdc8b1be70de43afe35ff788ba3240318daac (patch)
tree779601c91a6f034ed3e53c9d139eb9b6fdab1ba2 /tests/coq/demo/Makefile
parent65f7deb0043949049129c6a8e490d151b555fa16 (diff)
WIP Beginning working on better errors: began replacing raise (Failure) and assert by craise and cassert. Does not compile yet, still need to propagate the meta variable where it's relevant
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions