Passed

Package core / org.overture.pog.tests.VariableSubTest.testCaseAAndBooleanBinaryExp_sub

Took 0 ms.