projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7b41d6) | patch
allow the fuzzer to continue if only a few data races are detected
authorweiyu <weiyuluo1232@gmail.com>
Tue, 16 Jul 2019 01:25:06 +0000 (18:25 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Tue, 16 Jul 2019 01:25:06 +0000 (18:25 -0700)
commitba484ecdbd0285d264e70ec6d9c0f3fab57b626f
tree9cb23045bf853c55f94092397298bee27e129featree | snapshot
parentf7b41d66a7855086fedd01d4b5f4386540eb478bcommit | diff
allow the fuzzer to continue if only a few data races are detected
datarace.cc diff | blob | history
execution.cc diff | blob | history
execution.h diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
C11 Tester Tool Public Repository