[fix] Fix CachingSolver

UnitTestBot · Sep 30, 2023 · 390866f · 390866f
1 parent a0bb3ca
commit 390866f
Showing 1 changed file with 3 additions and 11 deletions.
diff --git a/lib/Solver/CachingSolver.cpp b/lib/Solver/CachingSolver.cpp
@@ -223,19 +223,11 @@ bool CachingSolver::computeValidity(const Query &query,
   if (!solver->impl->computeValidity(query, result))
     return false;
 
-  switch (result) {
-  case PValidity::MustBeTrue:
-    cachedResult = PValidity::MustBeTrue;
-    break;
-  case PValidity::MustBeFalse:
-    cachedResult = PValidity::MustBeFalse;
-    break;
-  default:
-    cachedResult = PValidity::TrueOrFalse;
-    break;
-  }
+  cachedResult = result;
+  assert(cachedResult != PValidity::None);
 
   cacheInsert(query, cachedResult);
+
   return true;
 }