Clone the Tervel from the git repo:
An already set-up runtime environment is already available for Tervel online at IEEE Xplore.
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!