Generation of BRO constraint set (BRO-CSET)

Example: Consider the following predicate: (a > b) ⋀ ¬c ∧ ¬(d = e) ⋁ (f ≤ g) , where a, b, d, e, f and g are integer variables and c is a Boolean variable.
a) Use the BRO-CSET procedure to derive the constraint set for this predicate
b) Generate test cases for the constraint set you have derived in a)

STEP 1

STEP 2

STEP 3