mcsat/tracing.c: missing default

karthiknukala · karthiknukala · commit fb5ebe04a5f7 · 2025-09-03T13:10:07.000-07:00
diff --git a/src/mcsat/tracing.c b/src/mcsat/tracing.c
@@ -150,6 +150,9 @@ const char* kind_to_string(term_kind_t t) {
     return "BV64_POLY";
   case BV_POLY:
     return "BV_POLY";
+  default:
+    assert(false);
+    return "UNKNOWN_TYPE";
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -150,6 +150,9 @@ const char* kind_to_string(term_kind_t t) {`
`150`	`150`	`return "BV64_POLY";`
`151`	`151`	`case BV_POLY:`
`152`	`152`	`return "BV_POLY";`
	`153`	`+ default:`
	`154`	`+ assert(false);`
	`155`	`+ return "UNKNOWN_TYPE";`
`153`	`156`	`}`
`154`	`157`	`}`
`155`	`158`