`assert(v1 == 1 && v2 == 0)` is now printed as `(true == true)` it should instead be `(1 == 1 && 0 == 0)` Also consider parenthesis...