diff options
Diffstat (limited to 'tests/run_fork_rand.sh')
-rwxr-xr-x | tests/run_fork_rand.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/run_fork_rand.sh b/tests/run_fork_rand.sh new file mode 100755 index 0000000..d1e2685 --- /dev/null +++ b/tests/run_fork_rand.sh | |||
@@ -0,0 +1,11 @@ | |||
1 | #!/usr/bin/env bash | ||
2 | ./fork_rand > fork_rand.txt | ||
3 | while read -r a b; | ||
4 | do | ||
5 | if [ "$a" = "$b" ]; then | ||
6 | echo "FAIL: $a = $b" | ||
7 | return 2 | ||
8 | else | ||
9 | echo "PASS: $a != $b" | ||
10 | fi | ||
11 | done < fork_rand.txt | ||