package mopsa

  1. Overview
  2. Docs

Module Iterators.Switch

Control flow abstraction for switch statements.

Trace markers

type MopsaLib.marker +=
  1. | M_c_switch_case of MopsaLib.expr * MopsaLib.expr
    (*

    case expression

    *)
  2. | M_c_switch_default of MopsaLib.expr
    (*

    switch expression

    *)

Abstract domain

module Domain : sig ... end