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.1.1.tar.gz
(8.0 kB
view hashes)
Built Distribution
Close
Hashes for esbmc_wr-0.1.1-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ba0aee1fdea0e3bd2d924eb6585fd1b841a343d38cb9fba87493b7648d522fa3 |
|
MD5 | ca6bb93d5656fe103516ca3840f94df0 |
|
BLAKE2b-256 | 73b8365ab6f017ada6c693c74b3b646a377cad48e5ab2165b41dab8396678ab5 |