I have a "tester" module that imports another "spec" module. The imported "core" module has variables that I need to substitute. Then I also need to use these variables in a PlusCal algorithm in the "tester" spec, but I cannot figure out how do so. I've searched documentation, but found nothing relevant.
---- Module Tester ----
EXTENDS Whatever
CONSTANTS Things
VARIABLES A, B
INSTANCE Core WITH VarA <- A, VarB <- B
(*--algorithm maketest
\* Reference to A or B in here result in a PCal Translator Error:
\* "Assignment to undeclared variable <variablename>"
end algorithm; *)
\* BEGIN TRANSLATION
====
Thanks,
James