MOPSA 1.1 released!

We are pleased to announce the release of MOPSA v1.1!

Release 1.1 brings several expressivity, precision and interface improvements, notably:

• Trace and state partitioning. ⚠️ introduces breaking changes in the API of domains.
• Suggestions to trigger automatic testcase reduction whenever Mopsa crashes
  • As a side-effect, Mopsa is able to generate preprocessed files from make targets using option -c-preprocess-and-exit=file.i, which might be useful for other users too! This has been experimented on our coreutils benchmarks, and can also be used to generate the preprocessed files used in the Software-Verification Benchmarks
• Bash completion support, thanks to arg-complete developped by Simmo Saan.

MOPSA 1.1 is available on GitLab, as a Docker Image and, most importantly, on Opam, the OCaml package manager.

Installing MOPSA is as easy as typing opam install mopsa.

See how to Get Started now!

You can also check the detailed changelog.