Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[26 : Token.vdmsl]

Took 20 ms.