Test

State

module

Module

assert-equal

defn

(λ [(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

defn

(λ [(Ref State), Int, (λ [] ()), &a] State)

                    (assert-exit state exit-code f descr)
                

Assert that function f aborts with OS signal signal.

assert-false

defn

(λ [(Ref State), Bool, &a] State)

                    (assert-false state x descr)
                

Assert that x is false.

assert-not-equal

defn

(λ [(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

defn

(λ [(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-signal

defn

(λ [(Ref State), Int, (λ [] ()), &a] State)

                    (assert-signal state signal x descr)
                

assert-true

defn

(λ [(Ref State), Bool, &a] State)

                    (assert-true state x descr)
                

Assert that x is true.

defn

(λ [(Ref State)] ())

                    (print-test-results state)
                

Print test results.

reset

defn

(λ [State] State)

                    (reset state)
                

Reset test state.