Passed

org.overturetool.cgisa.IsaGenParamTest.testCase[46 : ExplicitNat1.vdmsl]

Took 4 ms.