We are hiring ! See our job offers.
https://gitlab.lrde.epita.fr/akheireddine/bmctool
History
Tip revision: 37073044543a37346c2369f1d4f7c985724edd09 authored by akheireddine on 30 August 2021, 12:42:36 UTC
get minimum attempts script for edacc csv :
Tip revision: 3707304
File Mode Size
NuSMV-2.6.0
examples
painless @ 649da27
scripts
src
statistics
tests
.gitignore -rw-r--r-- 193 bytes
.gitlab-ci.yml -rw-r--r-- 235 bytes
.gitmodules -rw-r--r-- 114 bytes
AUTHORS.txt -rw-r--r-- 56 bytes
Dockerfile -rw-r--r-- 557 bytes
Makefile -rwxr-xr-x 3.4 KB
README.md -rw-r--r-- 1.8 KB
bmctool.cc -rw-r--r-- 9.4 KB
bmctool.hh -rw-r--r-- 17 bytes
compile_exp_mode.sh -rw-r--r-- 225 bytes
compile_log_mode.sh -rw-r--r-- 225 bytes
nusmv_wrapper.hh -rw-r--r-- 1.4 KB
painless_wrapper.hh -rw-r--r-- 720 bytes

README.md

back to top