Skip to content
No description, website, or topics provided.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
README.md
brick.zip.1aa
brick.zip.1ab
brick.zip.1ac

README.md

brick-tool

Install

  • download brick.zip.1* and run command cat brick.zip.1* > brick.zip
  • extract brick.zip anywhere

Usage

  • change directory to brick
  • run command bin/brick <file_to_verify>
  • we use files from ReachSafety-Floats in sv-benchmark
  • verification result will be shown and witness will be generated
You can’t perform that action at this time.