This should be an error, there must be a valuation for the addrQuery

ethereum · Jan 8, 2025 · a2a115c · a2a115c
1 parent c9e58b9
commit a2a115c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/EVM/Fetch.hs b/src/EVM/Fetch.hs
@@ -267,7 +267,7 @@ getSolution solvers symAddr pathconditions = do
                 let newConds = PAnd conds (symAddr ./= (Lit addr))
                 when conf.debug $ putStrLn $ "Got one solution to symbolic query:" <> show addr
                 collectSolutions (addr:addrs) maxSols newConds conf
-              _ -> pure $ Just addrs
+              _ -> internalError "No solution to symbolic query"
             Unsat -> do
               when conf.debug $ putStrLn "No more solution(s) to symbolic query."
               pure $ Just addrs