destack:assert import destack:assert Structs - AssertionError — Failed assertion details. Type aliases - Details — Structured details attached to one assertion event. Functions - always — Record that condition should always hold when reached. - assert — Assert that condition is true. - contains — Assert that values contains expected. - deepEqual — Assert that actual deeply equals expected. - equal — Assert that actual equals expected. - fail — Fail unconditionally. - notContains — Assert that values does not contain expected. - notDeepEqual — Assert that actual does not deeply equal expected. - notEqual — Assert that actual does not equal expected. - notSame — Assert that actual is not the same value as expected. - ok — Assert that condition is true. - reachable — Record that a named code path was reached. - same — Assert that actual is the same value as expected. - sometimes — Record that condition should become true in some explored run. - unreachable — Mark this code path as unreachable.