all-check.v « success « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/success/all-check.v

blob: 391bc540e4779860a6571c4af03b5c6d1e93da51 (plain)

1
2
3

Goal True.
Fail all:Check _.
Abort.