Top Level Namespace

Defined Under Namespace

Modules: Lyra Classes: EsAsyncModeWorkflow, EsSyncModeWorkflow, HijackModeWorkflow, LifecycleWorkflow, MonitorModeWorkflow

Constant Summary

PAM_DSL_AVAILABLE =

PAM DSL is optional - required for privacy features Set LYRA_DISABLE_PAM_DSL=true to test Lyra without PAM DSL

if ENV["LYRA_DISABLE_PAM_DSL"] == "true"
  false
else
  begin
    require "pam_dsl"
    true
  rescue LoadError
    false
  end
end

PETRI_FLOW_AVAILABLE =

PetriFlow is optional - required for formal verification

begin
  require "petri_flow"
  true
rescue LoadError
  false
end