Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[2 : 1ParamNoPre.vdmsl]

Took 10 ms.