Skip to content

Latest commit

 

History

History
54 lines (38 loc) · 990 Bytes

README.md

File metadata and controls

54 lines (38 loc) · 990 Bytes

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)