/coneqct

Primary LanguageF#

A contextual equivalence checker for Interface Middleweight Java

Getting started with the code

  • Make sure you have a recent version of the .net (windows) or mono (otherwise) framework that works.
  • Make sure you have a recent F# compiler.
  • Clone this repository and sjr/PUtils and sjr/RegSat and make sure they are all siblings in your directory tree.
  • In your shell, navigate to the root of this repository and run "build.cmd" (windows) or "build.sh" (bash) to check that it all builds.

Running the tests

  • After getting started as above, run "build.cmd runtests" (windows) or "build.sh runtests" (bash).