copilot-theorem: Translate quantifiers correctly in Kind2 backend. Refs #594.
#610
+66
−19
Travis CI / Travis CI - Pull Request
succeeded
Apr 17, 2025 in 26m 3s
Build Passed
Details
This is a pull request build.
It is running a build against the merge commit, after merging #610 copilot-theorem: Translate quantifiers correctly in Kind2 backend. Refs #594..
Any changes that have been made to the master branch before the build ran are also included.
Jobs and Stages
This build has four jobs, running in parallel.
| Job | ENV | OS | State |
|---|---|---|---|
| 717.1 |
CABALVER=2.4 GHCVER=8.6.5 | Linux | passed |
| 717.2 |
CABALVER=3.2 GHCVER=8.8.4 | Linux | passed |
| 717.3 |
CABALVER=3.2 GHCVER=8.10.4 | Linux | passed |
| 717.4 |
CABALVER=3.4 GHCVER=9.0.1 | Linux | passed |
Build Configuration
| Build Option | Setting |
|---|---|
| Language | Ruby |
| Operating System | Linux (Focal) |
Build Configuration
{
"language": "ruby",
"os": [
"linux"
],
"dist": "focal",
"env": [
"jobs={:CABALVER=>\"2.4\", :GHCVER=>\"8.6.5\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.8.4\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.10.4\"}={:CABALVER=>\"3.4\", :GHCVER=>\"9.0.1\"}"
],
"before_install": [
"travis_retry sudo add-apt-repository -y ppa:hvr/ghc",
"travis_retry sudo apt-get update",
"travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER",
"if [ \"${GHCVER}\" == \"8.10.4\" ]; then travis_retry sudo apt-get install --yes z3 cppcheck; fi",
"export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH",
"cabal --version",
"echo \"$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]\"",
"travis_retry cabal update",
"git submodule update --remote"
],
"script": [
"travis_wait 30 cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language copilot-libraries copilot-theorem copilot-interpreter copilot-prettyprinter",
"if [ \"${GHCVER}\" == \"8.10.4\" ]; then cabal v2-test -j1 copilot-core copilot-language copilot-interpreter copilot-c99 copilot-theorem copilot-libraries; fi",
"if [ \"${GHCVER}\" == \"8.10.4\" ]; then runhaskell copilot/examples/Heater.hs; cppcheck --force --addon=misra.py --suppress=misra-c2012-14.4 --error-exitcode=2 heater.c; fi"
]
}
Loading