seahorn / sygspacer Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Syntax based invariant synthesis using Spacer

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
cmake		cmake
src		src
test		test
.travis.yml		.travis.yml
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md

Repository files navigation

About

Syntax-based invariant synthesis with Spacer

Install

pip install pysmt
cd sygspacer ; mkdir build ; cd build
cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=run ../
cmake --build . to build sygspacer
cmake --build . --target install to install everything in run directory
cmake --build . --target package to package everything.

Usage

TBD

Contact

Temesghen Kahsai
Arie Gurfinkel

About

Syntax based invariant synthesis using Spacer

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages