Skip to content

Continuous Integration

Jump to bottom
Michael Rawson edited this page Nov 27, 2023 · 1 revision

There is a general build/test/sanity-check script set up to run on GitHub Actions, either manually (go to the "actions" tab) or when a PR is created or updated. The CI script is located in .github/workflows. Currently it:

  • checks copyright headers in source files
  • builds Z3
  • builds Vampire and links it to Z3 (tacit assumption: more things are likely to go wrong with Z3 than without...right?!)
  • runs unit tests
  • runs a sanity check on the resulting binary

If the build fails for some reason, you can debug it by going through the logs to determine which step failed and with what output. Then...good luck!

Clone this wiki locally