Coverage reported incorrectly for traces executed in parallel

[peterwvj]

Consider the SL spec below:

operations
        op1: () ==> ()
        op1() == skip;

        op2: () ==> ()
        op2() == skip;


traces
        T1: op1();

        T2: op2();

To produce the problem do the following:

Switch to the Combinatorial Testing view and run both traces in parallel: right-click DEFAULT and choose to run a Full Evaluation (See image below).

When you open the coverage file which is located in the generated folder, e.g. <project>/generated/CT_2015_09_20_11_33_17, only one of the operations is marked as "executed":

According to the console output (see below) both traces seem to execute although the coverage is showing something else.

Y:DEFAULT Initialized
Y:DEFAULT Initialized
Y:DEFAULT`T1 Worked 100%. Time elapsed: 0 min, 0 sec.
Y:DEFAULT`T2 Worked 100%. Time elapsed: 0 min, 0 sec.
Y Completed execution. Time elapsed: 0 min, 0 sec.
Y Completed execution. Time elapsed: 0 min, 0 sec.