fixup for cond_exprt number of operands

Daniel Kroening · Daniel Kroening · commit 7ea6c41c4419 · 2019-01-14T17:58:37.000Z
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -4949,7 +4949,7 @@ inline const cond_exprt &to_cond_expr(const exprt &expr)
 {
   PRECONDITION(expr.id() == ID_cond);
   DATA_INVARIANT(
-    expr.operands().size() % 2 != 0, "cond must have even number of operands");
+    expr.operands().size() % 2 == 0, "cond must have even number of operands");
   return static_cast<const cond_exprt &>(expr);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -4949,7 +4949,7 @@ inline const cond_exprt &to_cond_expr(const exprt &expr)`
`4949`	`4949`	`{`
`4950`	`4950`	`PRECONDITION(expr.id() == ID_cond);`
`4951`	`4951`	`DATA_INVARIANT(`
`4952`		`- expr.operands().size() % 2 != 0, "cond must have even number of operands");`
	`4952`	`+ expr.operands().size() % 2 == 0, "cond must have even number of operands");`
`4953`	`4953`	`return static_cast<const cond_exprt &>(expr);`
`4954`	`4954`	`}`
`4955`	`4955`