Merge pull request #16025 from gap-editor/1

blishko · web-flow · commit b136829e4998 · 2025-04-28T12:52:34.000+02:00
SMTChecker: Fix typo in SMTPortfolio.cpp
diff --git a/libsmtutil/SMTPortfolio.cpp b/libsmtutil/SMTPortfolio.cpp
@@ -78,7 +78,7 @@ void SMTPortfolio::addAssertion(Expression const& _expr)
  * Ideally all solvers answer the query and agree on what the answer is
  * (all say SAT or all say UNSAT).
  *
- * The actual logic as as follows:
+ * The actual logic is as follows:
  * 1) If at least one solver answers the query, all the non-answer results are ignored.
  *   Here SAT/UNSAT is preferred over UNKNOWN since it's an actual answer, and over ERROR
  *   because one buggy solver/integration shouldn't break the portfolio.

Original file line number	Diff line number	Diff line change
`@@ -78,7 +78,7 @@ void SMTPortfolio::addAssertion(Expression const& _expr)`
`78`	`78`	`* Ideally all solvers answer the query and agree on what the answer is`
`79`	`79`	`* (all say SAT or all say UNSAT).`
`80`	`80`	`*`
`81`		`- * The actual logic as as follows:`
	`81`	`+ * The actual logic is as follows:`
`82`	`82`	`* 1) If at least one solver answers the query, all the non-answer results are ignored.`
`83`	`83`	`* Here SAT/UNSAT is preferred over UNKNOWN since it's an actual answer, and over ERROR`
`84`	`84`	`* because one buggy solver/integration shouldn't break the portfolio.`