diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-03-18 13:07:46 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:13 -0700 |
| commit | b1da11c936e28d60a02f13c9ea27fdc3d1759b38 (patch) | |
| tree | 8e3829bec7969f18d0e8d0d8c94c84a43f3c8061 /tools/virtio/vringh_test.c | |
| parent | 2c644d3f6536dd31f2378529c44a04ad77ea6b77 (diff) | |
tools/memory-model: Make cmplitmushist.sh note timeouts
Currently, cmplitmushist.sh treats timeouts (as in the "--timeout"
argument) as "Missing Observation line". This can be misleading because
it is quite possible that running the test longer would have produced
a verification. This commit therefore changes cmplitmushist.sh to check
for timeouts and to report them with "Timed out".
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/virtio/vringh_test.c')
0 files changed, 0 insertions, 0 deletions