Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[25 : CharSeqIntSetTuple.vdmsl]

Took 7 ms.