Make boolbv_width::get_entry provide a useful error message

tautschnig · tautschnig · commit 972d31737b7e · 2022-10-27T14:43:30.000Z
When hitting UNIMPLEMENTED the user did not have sufficient information
to debug this.
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`	`}`