Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[37 : RecordDummyInv.vdmsl]

Took 31 ms.