Simplify evaluation scripts

Question

Simplify evaluation scripts

jcp19 opened this issue 5 years ago · 3 comments

Instead of having two different gawk scripts for each of the two evaluation scenarios (data race detection and message race detection), I believe that one suffices per scenario. The gawk script should accept and argument detailing which of the two csv formats to print and read in the END action. In the body, we should read every required line/argument

Answer 1 · 2020-01-22T16:45:49.000Z

Also: use tee to save the outputs of the files for later review

Answer 2 · 2020-01-24T22:13:11.000Z

Also, I must count the number of data races originating from msg-msg races

Answer 3 · 2020-01-26T13:58:00.000Z

This was partially fixed in commit 085ba63 even though the scripts are still too verbose and repetitive for what they should do.