From 631335a9c1dd0fba0e17977253d0a4b033aee59a Mon Sep 17 00:00:00 2001 From: mzuenni Date: Sat, 3 Feb 2024 14:33:16 +0100 Subject: fix indent --- other/stress.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'other') diff --git a/other/stress.sh b/other/stress.sh index 39424ce..d264c2a 100644 --- a/other/stress.sh +++ b/other/stress.sh @@ -2,6 +2,6 @@ for i in {1..1000}; do printf "\r$i" python3 gen.py > input # generate test with gen.py ./a.out < input > out # execute ./a.out - ./b.out < input > out2 # execute ./b.out + ./b.out < input > out2 # execute ./b.out diff out out2 || break done -- cgit v1.2.3