bench.sh zaehlt nur dann die Instruktionen, wenn eine Referenzdatei existiert.
[testub10.git] / scanner / tom_t4g.out