Training

Verification languages - overview and concepts

Thu 21 February 2019 by Tsvi Mostovicz / Verification

Running tests

When running a test you go through the following flow.

  • Compile - This part takes all of the source files and compiles them into a single library.
  • Elaborate - Resembles software's linking. Here we take the various objects and put them together like lego.
  • Run - Once the environment is compiled …

Read more