lkml.org 
[lkml]   [2023]   [Mar]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    Patch in this message
    /
    From
    Subject[PATCH memory-model scripts 02/31] tools/memory-model: Make judgelitmus.sh note timeouts
    Date
    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>
    ---
    tools/memory-model/scripts/judgelitmus.sh | 8 ++++++++
    1 file changed, 8 insertions(+)

    diff --git a/tools/memory-model/scripts/judgelitmus.sh b/tools/memory-model/scripts/judgelitmus.sh
    index 0cc63875e395..d3c313b9a458 100755
    --- a/tools/memory-model/scripts/judgelitmus.sh
    +++ b/tools/memory-model/scripts/judgelitmus.sh
    @@ -42,6 +42,14 @@ grep '^Observation' $LKMM_DESTDIR/$litmus.out
    if grep -q '^Observation' $LKMM_DESTDIR/$litmus.out
    then
    :
    +elif grep '^Command exited with non-zero status 124' $LKMM_DESTDIR/$litmus.out
    +then
    + echo ' !!! Timeout' $litmus
    + if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
    + then
    + echo ' !!! Timeout' >> $LKMM_DESTDIR/$litmus.out 2>&1
    + fi
    + exit 124
    else
    echo ' !!! Verification error' $litmus
    if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
    --
    2.40.0.rc2
    \
     
     \ /
      Last update: 2023-03-27 01:10    [W:7.370 / U:0.052 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site