diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/preprocessing/passes/bv_gauss.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/preprocessing/passes/bv_gauss.cpp b/src/preprocessing/passes/bv_gauss.cpp index 0f2674680..683716410 100644 --- a/src/preprocessing/passes/bv_gauss.cpp +++ b/src/preprocessing/passes/bv_gauss.cpp @@ -571,7 +571,10 @@ BVGauss::Result BVGauss::gaussElimRewriteForUrem( } size_t nvars = vars.size(); - Assert(nvars); + if (nvars == 0) + { + return BVGauss::Result::INVALID; + } size_t nrows = vars.begin()->second.size(); #ifdef CVC4_ASSERTIONS for (const auto& p : vars) |