@hackage chalmers-lava20001.6.1

Hardware description EDSL

To get verification working (on Linux), set the variables Lava2000_SMV and Lava2000_Satzoo to point to the binaries of the respective provers.

Also make sure that the scripts smv.wrapper and satzoo.wrapper are executable. These scripts are possibly located in

$HOME/.cabal/share/chalmers-lava2000-1.1.0/Scripts

  • Installation

  • Dependencies (0)

  • Dependents (0)