Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[35 : Rec2FieldsDiffTypes.vdmsl]

Took 5 ms.