A data race detector for C++ programs that use Intel TBB for task parallelism
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
PTRacer-solver
spd3-lib
tbb-lib
tdebug-lib
tdebug-llvm
test_suite
README
build_PTRacer.sh
build_SPD3.sh

README

Prerequsites
------------
1) CMake
   - Download and install CMake from https://cmake.org/download/.
   - On Ubuntu CMake can be installed using "sudo apt-get install cmake".

2) Z3 theorem prover
   - Download Z3 from the GitHub link https://github.com/Z3Prover/z3.
   - Install Z3.
      > cd <Z3_base_directory>
      > python scripts/mk_make.py
      > cd build; make
      > export PYTHONPATH=<path_to_Z3_base_directory>/build

PTRacer for TBB
---------------
1. Build a)Task Debug for LLVM+CLANG 3.7 b) PTRacer library c) TBB library d) PTRacer Solver
   > source build_PTRacer.sh

2. To run all test cases
   > cd test_suite
   > python run_tests.py -d ptracer > report_ptracer.txt

SPD3 for TBB
------------
1. Build a)Task Debug for LLVM+CLANG 3.7 b) SPD3 library c) TBB library
   > source build_SPD3.sh

2. To run all test cases
   > cd test_suite
   > python run_tests.py -d spd3 > report_spd3.txt