Build instructions

• Installing dependencies

  #!/bin/bash
  
  # get google-test framework and boost libraries
  sudo apt-get install googletest libpthread-workqueue0 libboost-all-dev
  
  # building and installing google-test library
  cd /usr/src/googletest
  sudo cmake .
  sudo make
  sudo make install

• Debug build [ default ]

  mkdir build
  cd build
  cmake ..
  make

• Release build

  mkdir build
  cd build
  cmake .. -DCMAKE_BUILD_TYPE=Release
  make

• Running tests in build directory

  make test

• Running tests individually in build directory

  ./bin/testlibprop --gtest_filter="[TEST_NAME]"

  e.g. ./bin/testlibprop --gtest_filter="PropertyLibTest.ValidTraceNotOperator"

Inheritance diagram

(complete class diagram)