package tezos-test-helpers

  1. Overview
  2. Docs

Module Lib_test.AssertSource

assert contains Alcotest convenience assertions.

Sourceval assert_true : string -> bool -> unit

Alcotest check that b is true.

Sourceval assert_false : string -> bool -> unit

Alcotest check that b is false.

Sourceval impossible : string -> unit

Alcotest version of assert false.

Sourceval check_any : ?msg:string -> ('a -> bool) -> 'a list -> unit

Assert that at least one value in l satisfies f.

Sourceval contains : 'a Alcotest.testable -> string -> 'a -> 'a list -> unit

contains m msg x ls asserts that one testable in ls equals x, and otherwise fails with msg