Theorem: SatStress.t2 (Test/Bv/SatStress.lean)

State before:
x : Bool
x✝³ : x = true
x1 x0 : Bool
x✝² : (x0 && x1) = x
x11 x10 : Bool
x✝¹ : (x10 && x11) = x1
x01 x00 : Bool
x✝ : (x00 && x01) = x0
⊢ x00 = true
Tactic:
bv_decide
State after:
no goals