Commit d9313e05 authored by Paul E. McKenney's avatar Paul E. McKenney
Browse files

tools/memory-model: Add -v flag to jingle7 runs 



Adding the -v flag to jingle7 invocations gives much useful information
on why jingle7 didn't like a given litmus test.  This commit therefore
adds this flag and saves off any such information into a .err file.

Suggested-by: default avatarLuc Maranget <luc.maranget@inria.fr>
Signed-off-by: default avatarPaul E. McKenney <paulmck@kernel.org>
parent a9504aaa

tools/memory-model/scripts/runlitmus.sh

+3 −2
Original line number Diff line number Diff line
@@ -68,10 +68,11 @@ fi 


# Generate the assembly code and run herd7 on it.

gen_theme7 -n 10 -map $mapfile -call Linux.call > $themefile

jingle7 -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out

jingle7 -v -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out

if grep -q "Generated 0 tests" $T/$hwlitmusfile.jingle7.out

then

	echo ' !!! ' jingle7 failed, no $hwlitmus generated

	echo ' !!! ' jingle7 failed, errors in $hwlitmus.err

	cp $T/$hwlitmusfile.jingle7.out $LKMM_DESTDIR/$hwlitmus.err

	exit 253

fi

/usr/bin/time $LKMM_TIMEOUT_CMD herd7 $LKMM_DESTDIR/$hwlitmus > $LKMM_DESTDIR/$hwlitmus.out 2>&1