package mopsa

  1. Overview
  2. Docs

Module Cpython.Soundness

Soundness assumptions

type MopsaLib.assumption_kind +=
  1. | A_cpython_unsupported_fields of string