diff options
| author | Paul E. McKenney <[email protected]> | 2019-03-18 13:07:46 -0700 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2023-03-24 10:24:13 -0700 |
| commit | b1da11c936e28d60a02f13c9ea27fdc3d1759b38 (patch) | |
| tree | 8e3829bec7969f18d0e8d0d8c94c84a43f3c8061 /drivers/usb/cdns3/cdns3-debug.h | |
| 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 <[email protected]>
Diffstat (limited to 'drivers/usb/cdns3/cdns3-debug.h')
0 files changed, 0 insertions, 0 deletions