Commit c02a13db authored by acholewa's avatar acholewa

Fixed a bug where the global variables used in the attack statements in the...

Fixed a bug where the global variables used in the attack statements in the Maude file were being duplicated, and the duplicates weren't being eliminated properly for some reason.
parent 63966d9b
......@@ -1104,8 +1104,10 @@ mod TRANSLATION-TO-MAUDE-NPA is
eq [V:VarDecl] $varList($emptyAttackList) = $varList(V:VarDecl) .
eq [V:VarDecl] $varList(VL:VarDecls) = $varList(V:VarDecl VL:VarDecls) .
eq $varList(B:VarDecls V:VarDecl M:VarDecls V:VarDecls E:VarDecls) = $varList(B:VarDecls V:VarDecl M:VarDecls E:VarDecls) .
eq $varList(B:VarDecls V:VarDecl M:VarDecls V:VarDecls) = $varList(B:VarDecls V:VarDecl M:VarDecls) .
---The presence of the $translate constant (added by the equation above)
---ensures that we don't try to construct the Maude-NPA module until
---the PSL specification has been fully translated.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment