sunit: Unit Testing Framework.
Strategy summary
|
apply-and-check(Strategy name, Strategy s, Strategy in-term, Strategy check)
|
n/a
|
sunit.str
|
apply-and-check(Strategy s, ATerm name, ATerm in-term, ATerm check)
|
n/a
|
sunit.str
|
apply-and-fail(Strategy name, Strategy s, Strategy in-term)
|
n/a
|
sunit.str
|
apply-and-fail(Strategy name, Strategy s, Strategy in-term, Strategy out)
|
n/a
|
sunit.str
|
apply-and-fail(Strategy s, ATerm name, ATerm in-term)
|
n/a
|
sunit.str
|
apply-and-fail(Strategy s, ATerm name, ATerm in-term, ATerm out)
|
n/a
|
sunit.str
|
apply-and-show(Strategy name, Strategy s, Strategy in-term)
|
n/a
|
sunit.str
|
apply-and-show(Strategy s, ATerm name, ATerm in-term)
|
n/a
|
sunit.str
|
apply-test(Strategy name, Strategy s, Strategy in-term, Strategy out)
|
n/a
|
sunit.str
|
apply-test(Strategy name, Strategy s, Strategy in-term)
|
n/a
|
sunit.str
|
apply-test(Strategy s, ATerm name, ATerm in-term, ATerm out)
|
n/a
|
sunit.str
|
apply-test(Strategy s, ATerm name, ATerm in-term)
|
n/a
|
sunit.str
|
check-for-failures
|
Internal: fails if there was a failure
|
sunit.str
|
do-test(Strategy nr, Strategy s)
|
n/a
|
sunit.str
|
do-test(Strategy s, ATerm nr)
|
n/a
|
sunit.str
|
init-record
|
n/a
|
sunit.str
|
print-failure
|
n/a
|
sunit.str
|
print-failure(ATerm msg)
|
n/a
|
sunit.str
|
record-failure
|
Internal: record a failed test
|
sunit.str
|
record-success
|
Internal: record a successful test
|
sunit.str
|
report-test
|
Internal: report the number of successes and failures
|
sunit.str
|
sunit-color-plain
|
n/a
|
sunit.str
|
sunit-color-red
|
n/a
|
sunit.str
|
sunit-create-input(Strategy s)
|
n/a
|
sunit.str
|
sunit-create-output(Strategy s)
|
n/a
|
sunit.str
|
sunit-failure-string
|
n/a
|
sunit.str
|
test-suite(Strategy name, Strategy tests)
|
n/a
|
sunit.str
|
testing(Strategy nr, Strategy s)
|
n/a
|
sunit.str
|