package mopsa
Module Stubs.Alarms
Stub alarms
type MopsaLib.alarm_kind += | A_stub_invalid_requirement of MopsaLib.expr(*condition
*)| A_stub_raise of string(*message
*)
val raise_stub_invalid_requirement :
?bottom:??? ->
MopsaLib.expr ->
Mopsa_utils.Core.Location.range ->
('a, 'b) MopsaLib.man ->
'a Mopsa_analyzer.MopsaLib.Flow.flow ->
'a Mopsa_analyzer.MopsaLib.Flow.flowval raise_stub_alarm :
?bottom:??? ->
string ->
Mopsa_utils.Core.Location.range ->
('a, 'b) MopsaLib.man ->
'a Mopsa_analyzer.MopsaLib.Flow.flow ->
'a Mopsa_analyzer.MopsaLib.Flow.flowval safe_stub_condition :
Mopsa_utils.Core.Location.range ->
'a ->
'b Mopsa_analyzer.MopsaLib.Flow.flow ->
'b Mopsa_analyzer.MopsaLib.Flow.flow