Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[3 : 2ParamsPrePost.vdmsl]

Took 13 ms.