[fix] Fix CachingSolver

UnitTestBot · Sep 29, 2023 · f94836b · f94836b
1 parent ffe2288
commit f94836b
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;
 }