A call to eml_invariant should takes one of the following forms: \n eml_invariant(cond, eml_message(...)) \n eml_invaria
Posted: Mon Mar 08, 2021 9:50 am
A call to eml_invariant should takes one of the following forms: \n eml_invariant(cond, eml_message(...)) \n eml_invariant(cond, eml_message(...), "IfNotConst", "CheckAtRunTime") \n eml_invariant(cond, eml_message(...), "IfNotConst", "Fail").