/sygspacer

Syntax based invariant synthesis using Spacer

Primary LanguagePythonOtherNOASSERTION

Build Status

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