/lib/test: add +expect-success helper

This commit is contained in:
Ted Blackman 2022-08-22 22:04:01 +03:00
parent 15861150ba
commit e37f738573

View File

@ -38,7 +38,17 @@
=/ b (mule a)
?- -.b
%| ~
%& [leaf+"expected failure - succeeded" ~]
%& ['expected failure - succeeded' ~]
==
:: +expect-runs: kicks a trap, expecting success; returns trace on failure
::
++ expect-success
|= a=(trap)
^- tang
=/ b (mule a)
?- -.b
%& ~
%| ['expected success - failed' p.b]
==
:: $test-chain: a sequence of tests to be run
::