Merge pull request diffblue#2420 from tautschnig/vs-invariant

Fix invariant: value must be strictly positive
NathanJPhillips · Jul 7, 2018 · b73a9e3 · b73a9e3
2 parents 9b087dc + 497d296
commit b73a9e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solvers/refinement/string_constraint_generator_format.cpp b/src/solvers/refinement/string_constraint_generator_format.cpp
@@ -374,7 +374,7 @@ exprt string_constraint_generatort::add_axioms_for_format(
         }
         else
         {
-          INVARIANT(fs.index>=0, "index in format should be positive");
+          INVARIANT(fs.index > 0, "index in format should be positive");
           INVARIANT(
             static_cast<std::size_t>(fs.index)<=args.size(),
             "number of format must match specifiers");