Clone the Tervel from the git repo:
$ git clone https://github.com/ucf-cs/tervel
An already set-up runtime environment is already available for Tervel online at IEEE Xplore.
$ sudo apt-get install libgflags-dev
$ cd tervel/tests $ make all
You may run the binaries located in
/tests/executables/ under a subdirectory with a syntax similar to
version_NA_10000_10000. Inside, you may run one of the binaries with a command such as
BIN is the name of the executable you wish to run. The test will execute with default parameters, which includes 0 threads. Therefore, it is normal to see output results containing little to no information. For an explanation on how to change these parameters, see the User Manual.
See the User Manual for a more in-depth overview on how to perform Tervel tests. See the Tutorial for a quick walk-through on how to use Tervel to create a wait free and lock free stack. Let us know if you have any questions!