package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Iterators.Unittest`

Unit tests iterator.

val name : string

val unittest_flag : bool ref

val unittest_filter : string list ref

type MopsaLib.token +=

| T_safe_assert of MopsaLib.range

type MopsaLib.check +=

| CHK_ASSERT_FAIL

type MopsaLib.alarm_kind +=

| A_assert_fail of MopsaLib.expr
(*
condition
*)

val raise_assert_fail : 
  ?force:??? ->
  MopsaLib.expr ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow

val safe_assert_check : 
  Mopsa_utils.Core.Location.range ->
  'a ->
  'b Mopsa_analyzer.MopsaLib.Flow.flow ->
  'b Mopsa_analyzer.MopsaLib.Flow.flow

module Domain : sig ... end

package mopsa

Module Iterators.Unittest

Module `Iterators.Unittest`