Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[9 : FuncApplyNoParam.vdmsl]

Took 8 ms.