Passed

org.overture.pog.tests.VariableSubTest.testCaseAAndBooleanBinaryExp_sub

Took 0 ms.