package mopsa

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

Unit tests iterator.

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

    condition

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

Innovation. Community. Security.