A ESBMC command line wrapper.
Project description
esbmc-wr
A ESBMC wrapper thats allow to verify multiples files and functions on a single run.
Installation
Dependecies
You must have ESBMC built and exported on yout PATH variable.
This guide describe how build ESBMC.
Install esbmc-wr
From repo
- Clone this repo:
$ git clone https://github.com/thalestas/esbmc-wr.git
- Install using pip
$ cd esbmc-wr
$ pip3 install .
From Pypi
$ pip3 install esbmc-wr
Usage
1. Verify all .c
files in a folder:
In the project that you want to verify, run:
$ esbmc-wr
2. Configure ESBMC parameters:
To set the ESBMC parameter, you should use -e
:
$ esbmc-wr -e "--unwind 1 --no-unwinding-assertions"
3. esbmc-wr help
$ esbmc-wr -h
usage: Input Options [-h] [-e ESBMC_PARAMETER] [-i LIBRARIES] [-f] [-v] [-r] [-d DIRECTORY] [-fl FILE] [-rp]
optional arguments:
-h, --help show this help message and exit
-e ESBMC_PARAMETER, --esbmc-parameter ESBMC_PARAMETER
Use ESBMC parameter
-i LIBRARIES, --libraries LIBRARIES
Path to the file that describe the libraries dependecies
-f, --functions Enable Functions Verification
-v, --verbose Enable Verbose Output
-r, --recursive Enable Recursive Verification
-d DIRECTORY, --directory DIRECTORY
Set the directory to be verified
-fl FILE, --file FILE
File to be verified
-rp, --retest-pointer
Retest Invalid Pointer
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
esbmc-wr-0.2.0.tar.gz
(23.5 MB
view hashes)
Built Distribution
Close
Hashes for esbmc_wr-0.2.0-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a30f7da59a9acf8ce78490c7c20c62ca8d9cb9327122ed9606e1952885ca6860 |
|
MD5 | 6761719358cf2d8402ec75203eef55bb |
|
BLAKE2b-256 | b38f708608c6a2623513b99cda96917c8f0a0e49646df367d0c3ddc7fe16976c |