17 lines
430 B
Plaintext
17 lines
430 B
Plaintext
How to run paranoia_parallel
|
|
|
|
Install valgrind
|
|
Install parallel
|
|
|
|
Extract paranoia_parallel.7z into a directory of your choice.
|
|
In a terminal window, cd into the directory chosen.
|
|
|
|
Edit runtest.sh, line 14, -jx, with x being the physical cores available on your machine.
|
|
|
|
Run ./paranoia_table_generators.sh
|
|
to generate some input tables (only required once in the beginning).
|
|
|
|
Run ./runtests.sh paranoia_test_extra.sh ./working
|
|
|
|
|