/srtool

Software reliability tool written in Scala that parses code and checks it against its specification with SMT solvers

Primary LanguageJava

Setup

  • download intellij community

  • choose to install the scala plugin with it.

  • ABOUT DOWNLOADNING THE SCALA SDK AND SHIZ

  • import the project into intellij

  • Check if the antlr dependency is properly added. If it isnt, add it to the library (cmd+; -> libraries)

Run

  • cat tests/correct/overshift.c | ./toSSA | ./prepostToCode