Test
assert-equal
(λ [(Ref State), a, a, &b] State)
(assert-equal state x y descr)
Assert that x and y are equal. Equality needs to be implemented for their type.
assert-exit
(λ [(Ref State), Int, (λ [] ()), &a] State)
(assert-exit state exit-code f descr)
Assert that function f aborts with OS signal signal.
assert-false
(λ [(Ref State), Bool, &a] State)
(assert-false state x descr)
Assert that x is false.
assert-not-equal
(λ [(Ref State), a, a, &b] State)
(assert-not-equal state x y descr)
Assert that x and y are not equal. Equality needs to be implemented for their type.
assert-op
(λ [(Ref State), a, b, &c, (λ [a, b] Bool)] State)
(assert-op state x y descr op)
Assert that op returns true when given x and y.
assert-true
(λ [(Ref State), Bool, &a] State)
(assert-true state x descr)
Assert that x is true.