Andrea Romdhana

Non deterministic behavior at startup

6

When the program is launched with the command: ```./Q-testing/main -r CONF.txt``` it usually ends reporting the exception: ```Cannot open self /home/se_non_bestemmio_guarda/Q-testing/Q-testing/main[�� or archive /home/se_non_bestemmio_guarda/Q-testing/Q-testing/main[��.pkg``` After many trials it seems to...

Coverage directories not generated

1

The coverage directory .-debug-output-1 (and the others) are not generated inside the benchmark folder when the program is launched with the flag "-r" .