Steven Li
|
6623cb6395
|
Discovered TD-255 crash with params: -p -s 50 -t 10
|
2020-05-08 16:46:34 -07:00 |
|
Steven Li
|
a3671929fb
|
successfully discovered TD-250 crash bug, with params: -p -d -s 3 -t 3
|
2020-05-08 00:36:00 -07:00 |
|
Steven Li
|
f08e9b082d
|
now able to fan out conflicting tasks, and detect incorrect results
|
2020-05-05 00:20:29 -07:00 |
|
Steven Li
|
5d14a74528
|
Refactored to use ThreadCoordinator and TaskExecutor, added command line parameters
|
2020-05-04 22:23:27 -07:00 |
|
Steven Li
|
cc93971b67
|
Fixed a barrier problem, now main/worker thread sync correctly
|
2020-05-03 19:08:03 -07:00 |
|
Steven Li
|
2d76c46756
|
Added per-thread-db-connection option, after getting Python argparse
|
2020-05-03 17:28:18 -07:00 |
|
Steven Li
|
8c64960e4c
|
Minor adjustments before sharing with Jeff
|
2020-05-01 00:01:34 -07:00 |