Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[5 : FuncApply1Param.vdmsl]

Took 28 ms.