Module: Bparity::Formal::Assumptions

Defined in:

lib/bparity/formal/assumptions.rb

Defined Under Namespace

Modules: RuntimeMonitor Classes: DynamicCodeDetector, WorldFreeze

Constant Summary

CATALOG =

[
  { id: :h1, name: "world_freeze", enforcement: "runtime snapshot" },
  { id: :h2, name: "dynamic_methods_declared", enforcement: "discovery" },
  { id: :h3, name: "no_dynamic_evaluation", enforcement: "Prism static analysis" },
  { id: :h4, name: "runtime_identity_unobserved", enforcement: "serializer" },
  { id: :h5, name: "ieee_754", enforcement: "declaration only" },
  { id: :h6, name: "exceptions_are_outputs", enforcement: "recorder" },
  { id: :h7, name: "single_thread", enforcement: "declaration only" }
].freeze