Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[11 : FuncDecl2Params.vdmsl]

Took 6 ms.