Assert replaced by unreachable

romainbrenguier · romainbrenguier · commit dc799e00ae07 · 2018-04-23T08:50:11.000+01:00
diff --git a/src/solvers/prop/prop_conv.cpp b/src/solvers/prop/prop_conv.cpp
@@ -22,18 +22,18 @@ Author: Daniel Kroening, kroening@kroening.com
 /// determine whether a variable is in the final conflict
 bool prop_convt::is_in_conflict(literalt l) const
 {
-  assert(false);
+  UNREACHABLE;
   return false;
 }
 
 void prop_convt::set_assumptions(const bvt &)
 {
-  assert(false);
+  UNREACHABLE;
 }
 
 void prop_convt::set_frozen(const literalt)
 {
-  assert(false);
+  UNREACHABLE;
 }
 
 void prop_convt::set_frozen(const bvt &bv)

Original file line number	Diff line number	Diff line change
`@@ -22,18 +22,18 @@ Author: Daniel Kroening, [email protected]`
`22`	`22`	`/// determine whether a variable is in the final conflict`
`23`	`23`	`bool prop_convt::is_in_conflict(literalt l) const`
`24`	`24`	`{`
`25`		`- assert(false);`
	`25`	`+ UNREACHABLE;`
`26`	`26`	`return false;`
`27`	`27`	`}`
`28`	`28`
`29`	`29`	`void prop_convt::set_assumptions(const bvt &)`
`30`	`30`	`{`
`31`		`- assert(false);`
	`31`	`+ UNREACHABLE;`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`void prop_convt::set_frozen(const literalt)`
`35`	`35`	`{`
`36`		`- assert(false);`
	`36`	`+ UNREACHABLE;`
`37`	`37`	`}`
`38`	`38`
`39`	`39`	`void prop_convt::set_frozen(const bvt &bv)`