projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7b4826) | patch
[Regressions] Use Wine for Windows builds (#8652)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 25 Apr 2022 21:50:14 +0000 (14:50 -0700)
committerGitHub <noreply@github.com>
Mon, 25 Apr 2022 21:50:14 +0000 (21:50 +0000)
commitc821125b219f3c347414896accd9bb6bdf443b6d
treeb19800e39e4ff33083abae5ed2b8e4dc9435b90atree
parentc7b4826b817abfb605884181e22ebac75afd5024commit | diff
[Regressions] Use Wine for Windows builds (#8652)

This changes our build system to use Wine when we are testing a
cross-compiled Windows build. It updates the post-processing in the
regression script to remove `\r` characters and updates two regressions
to make them compatible with Windows builds.
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/models-print-2.smt2 diff | blob | history
test/regress/cli/regress0/options/help.smt2 diff | blob | history
test/regress/cli/run_regression.py diff | blob | history