Steven Li
|
5b4e7a6d54
|
refactoring, added exec stats, re-orged task/state relationships
|
2020-05-24 15:15:05 -07:00 |
|
Steven Li
|
2416465519
|
fixed a few bugs in state transition checks
|
2020-05-24 00:47:58 -07:00 |
|
Steven Li
|
a72218378f
|
Dicovered unpected database operation result, with ./crash_gen.sh -p -s 100 -t 3 -d
|
2020-05-19 00:44:14 -07:00 |
|
Steven Li
|
e1ee02e326
|
Ready to merge crash_gen into develop branch
|
2020-05-18 17:43:37 -07:00 |
|
Steven Li
|
dcb1155481
|
Discovered TD-256 with params: -p -d -t 10 -s 20
|
2020-05-08 17:40:43 -07:00 |
|
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 |