search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Error for fixedVariables in SimB #323

Open cobizobi opened 1 year ago

cobizobi commented 1 year ago

With the SimB configuration

{
    "id": "RS_trainMoveFront",
    "chooseActivation":{
        "RS_trainMoveFront_Exec": "IF ENABLED(\"RS_trainMoveFront\") = TRUE THEN 1.0 ELSE 0.0 END",
        "Any_Action": "1.0 - IF ENABLED(\"RS_trainMoveFront\") = TRUE THEN 1.0 ELSE 0.0 END"
    }
},
    {
        "id": "RS_trainMoveFront_Exec",
        "after": 1000,
        "execute": "RS_trainMoveFront",
        "activating" : ["Any_Action", "RS_trainMoveBack"]
    },
        {
            "id": "RS_trainMoveBack",
            "after": 1000,
            "execute": "RS_trainMoveBack",
            "fixedVariables": {"Train": "Train"},
            "activating" : "RS_trainLeave"
        },

I get the error Unknown identifier "Train", although RS_trainMoveFront and RS_trainMoveBack have a parameter Train.