Merge pull request #7276 from tautschnig/cleanup/width-verbose

kroening · web-flow · commit 8e924097899a · 2022-10-31T09:43:23.000Z
Make boolbv_width::get_entry provide a useful error message
diff --git a/src/solvers/flattening/boolbv_width.cpp b/src/solvers/flattening/boolbv_width.cpp
@@ -222,7 +222,10 @@ const boolbv_widtht::entryt &boolbv_widtht::get_entry(const typet &type) const
     cache_entry = defined_entryt{0};
   }
   else
-    UNIMPLEMENTED;
+  {
+    UNIMPLEMENTED_FEATURE(
+      "boolbv_widtht::get_entry(" + id2string(type_id) + ")");
+  }
 
   return cache_entry;
 }

Original file line number	Diff line number	Diff line change
`@@ -222,7 +222,10 @@ const boolbv_widtht::entryt &boolbv_widtht::get_entry(const typet &type) const`
`222`	`222`	`cache_entry = defined_entryt{0};`
`223`	`223`	`}`
`224`	`224`	`else`
`225`		`- UNIMPLEMENTED;`
	`225`	`+ {`
	`226`	`+ UNIMPLEMENTED_FEATURE(`
	`227`	`+ "boolbv_widtht::get_entry(" + id2string(type_id) + ")");`
	`228`	`+ }`
`226`	`229`
`227`	`230`	`return cache_entry;`
`228`	`231`	`}`