From bfb4f21519374e8ffb88813722a2d26308ec685c Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 20 Jan 2020 07:03:07 +0100 Subject: Make test logs mode consistent: Add OK status. For #79 --- testsuite/formal/shifts/testsuite.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'testsuite/formal/shifts') diff --git a/testsuite/formal/shifts/testsuite.sh b/testsuite/formal/shifts/testsuite.sh index eb04217..935e995 100755 --- a/testsuite/formal/shifts/testsuite.sh +++ b/testsuite/formal/shifts/testsuite.sh @@ -8,3 +8,4 @@ for f in lsl lsr asr; do done clean +echo OK -- cgit v1.2.3