aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/all-check.v
blob: 391bc540e4779860a6571c4af03b5c6d1e93da51 (plain)
1
2
3
Goal True.
Fail all:Check _.
Abort.