package mopsa

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Iterators.UnittestSource

Unit tests iterator.

Sourceval name : string
Sourceval unittest_flag : bool Stdlib.ref
Sourceval unittest_filter : string list Stdlib.ref
Sourcetype Mopsa.token +=
  1. | T_safe_assert of Mopsa.range
Sourcetype Mopsa.check +=
  1. | CHK_ASSERT_FAIL
Sourcetype Mopsa.alarm_kind +=
  1. | A_assert_fail of Mopsa.expr
    (*

    condition

    *)
Sourceval raise_assert_fail : ?force:bool -> Mopsa.expr -> ('a, 'b) Mopsa.man -> 'a Mopsa.Flow.flow -> 'a Mopsa.Flow.flow
Sourceval safe_assert_check : Mopsa_utils.Location.range -> 'a -> 'b Mopsa.Flow.flow -> 'b Mopsa.Flow.flow
Sourcemodule Domain : sig ... end
OCaml

Innovation. Community. Security.