Commit 707393dc authored by Dirk Beyer's avatar Dirk Beyer
Browse files

Added required packages for VeriFuzz (all installed already)

parent 0c44aff3
Pipeline #389827855 failed with stage
in 5 minutes and 48 seconds
......@@ -425,11 +425,17 @@ verifiers:
lang: C
url: https://gitlab.com/raveenkm/archives-2021/-/tree/master/2021
required-ubuntu-packages:
- clang-12
- framac-c-base
- gcc-multilib
- libc6-dev-i386
- libwhy3-ocaml-dev
- llvm-12
- openjdk-8-jdk-headless
- python2
- python3-sklearn
- python3-pandas
- why3
jury-member:
name: Raveendra Kumar Medicherla
institution: Tata Consultancy Services
......
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