Today it was brought to my attention that CMurphi supports a keyword undefined. You can use this in an assignment or expression list:
x := undefined; -- equivalent to `undefine x`
foo(42, undefined);
Rumur doesn't support this because I was unaware of it. This issue is to consider whether we should add it.
Today it was brought to my attention that CMurphi supports a keyword
undefined. You can use this in an assignment or expression list:Rumur doesn't support this because I was unaware of it. This issue is to consider whether we should add it.