Changes between Version 6 and Version 7 of Tour


Ignore:
Timestamp:
09/07/18 10:48:24 (8 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Tour

    v6 v7  
    719719}}}
    720720
    721 As shown by the above output, wihtin 10 seconds, CIVL dectecs a race condition and finds the minimal counterexample at depth 38 after detecting 204 violations,
     721As shown by the above output, wihtin 10 seconds, CIVL detects a race condition and finds the minimal counterexample at depth 38 after detecting 204 violations,
    722722which is much smaller than the first violation which is at depth 1355.
    723723With the help of trace provided by CIVL replay for the minimal counterexample, one is guided to fix the error by adding the variable tid to the private list of the parallel construct,