Closed pglvdm closed 10 years ago
For the GridManager project checked into the SVN as compasssvn\Theme5\JointPapers\GM_CML\projects\GM-06 the first PO generated looks like:
(forall t:nat, r:map (nat) to (bool) & ((relay_load in set (dom r)) null (relay_load in set (dom r))))
I guess that "null" should be "=>"
For the GridManager project checked into the SVN as compasssvn\Theme5\JointPapers\GM_CML\projects\GM-06 the first PO generated looks like:
I guess that "null" should be "=>"