Commit fa35ea99 authored by POLLIEN Baptiste's avatar POLLIEN Baptiste
Browse files

Add version number for Coq and Why3

parent e80a6883
......@@ -19,6 +19,8 @@ To run the verification, the following software are required:
- Alt-Ergo 2.3.3
- CVC4 1.9-prerelease
- Z3 4.8.6
- Coq 8.12.2
- Why3 1.3.3
- ctags
**Note:** This specific version of Frama-C is needed because it
......
#!/bin/bash
# Prefix for the location of the frama-c binary
FRAMAC_PREFIX="/opt/frama-c/bin/"
FRAMAC_PREFIX=""
# Temporary folder
TMP_FOLDER=".tmp_frama_c_analysis"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment