A ESBMC command line wrapper.
Project description
-- This tool is still under development! --
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
- Clone this repo:
$ git clone https://github.com/thalestas/esbmc-wr.git
- Install using pip
$ cd esbmc-wr
$ pip3 install .
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"
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.0.tar.gz
(7.4 kB
view hashes)
Built Distribution
Close
Hashes for esbmc_wr-0.1.0-py2.py3-none-any.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 012c34e104e5a4a919b28ca6c60e87e463ad4c94fa93c08acab7cec7d28349e0 |
|
| MD5 | 8f375ed2185d83cdcfd4a346465fe5e0 |
|
| BLAKE2b-256 | 3db31d929b8ae16d6572e7ef39dcd10f1f543480625deec4ede9745fa69f6d5b |
