destack.sh
menu

destack:assert

import destack:assert

Structs

  1. AssertionErrorFailed assertion details.

Type aliases

  1. DetailsStructured details attached to one assertion event.

Functions

  1. alwaysRecord that condition should always hold when reached.
  2. assertAssert that condition is true.
  3. containsAssert that values contains expected.
  4. deepEqualAssert that actual deeply equals expected.
  5. equalAssert that actual equals expected.
  6. failFail unconditionally.
  7. notContainsAssert that values does not contain expected.
  8. notDeepEqualAssert that actual does not deeply equal expected.
  9. notEqualAssert that actual does not equal expected.
  10. notSameAssert that actual is not the same value as expected.
  11. okAssert that condition is true.
  12. reachableRecord that a named code path was reached.
  13. sameAssert that actual is the same value as expected.
  14. sometimesRecord that condition should become true in some explored run.
  15. unreachableMark this code path as unreachable.