Passed

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

Took 0.14 sec.