Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[14 : NotYetSpecified.vdmsl]

Took 9 ms.