Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[43 : ImplicitNumericExp.vdmsl]

Took 3 ms.