CI: typo (#1064)

* Test all platforms

* Test all platforms

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Simplifying build & test

* Change to .NET 5.0

* Remove constant comparisons

net5.0 gives warnings to point these out

* Editing the install instructions

* Editing the install instructions

* Include OutputPath in build for net5.0

* Make OutputPath unconditional

* Further simplification

* Change Coco to use net5.0

* Further simplification

* Debug

* Debug

* Debug

* Debug

* Debug

* Improving lit

* Debug

* More debug

* Debug

* Done debugging

* Another 3.1 to 5.0 change

* Another 3.1 to 5.0 change

* Adding a quick test script

* Typo

Co-authored-by: Rustan Leino <[email protected]>
Co-authored-by: davidcok <[email protected]>

Author: 3 people

Test/lit.site.cfg

@@ -163,7 +163,7 @@ for root in potentialSolverRoots:
                 z3Path = potentialPath
 
 if not z3Path:
-    lit_config.fatal('Could not find solver ' + potentialSolverRoots + ' ' + potentialSolverExecutables)
+    lit_config.fatal('Could not find solver')
 config.substitutions.append( ('%z3', z3Path ) )
 
 # Add diff tool substitution