diff options
| author |   Paul E. McKenney <paulmck@kernel.org> | 2019-03-18 11:53:50 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:13 -0700 |
| commit | 2c644d3f6536dd31f2378529c44a04ad77ea6b77 (patch) | |
| tree | 3236216d75181a6b26228f7dc8390a81bf8dc60a /tools/perf/scripts/python/exported-sql-viewer.py | |
| parent | tools/memory-model: Document locking corner cases (diff) | |
| download | wireguard-linux-2c644d3f6536dd31f2378529c44a04ad77ea6b77.tar.xz wireguard-linux-2c644d3f6536dd31f2378529c44a04ad77ea6b77.zip | |
tools/memory-model: Make judgelitmus.sh note timeouts
Currently, judgelitmus.sh treats timeouts (as in the "--timeout" argument)
as "!!! Verification error". This can be misleading because it is quite
possible that running the test longer would have produced a verification.
This commit therefore changes judgelitmus.sh to check for timeouts and
to report them with "!!! Timeout".
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/perf/scripts/python/exported-sql-viewer.py')
0 files changed, 0 insertions, 0 deletions