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

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.
