Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[0 : 1ParamPrePost.vdmsl]

Took 0.24 sec.