Passed

Package core / org.overture.vdm2jml.tests.StateTests.testModuleHasNoInvFunction

Took 0 ms.