2026-06-29 17:35:00 +02:00
|
|
|
How to run paranoia_parallel
|
|
|
|
|
|
|
|
|
|
Install valgrind
|
|
|
|
|
Install parallel
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
2026-07-13 16:27:15 +02:00
|
|
|
The ./working subdirectory will contain a testfile script for each test.
|
|
|
|
|
Each test creates .log and .vlog files in the paranoia_parallel directory.
|
|
|
|
|
Before runtests.sh, you might want to remove any old .log and .vlog files.
|
