PrMers/unit_test_all.sh at main · Sanju98/PrMers · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
#!/usr/bin/env bash
set -euo pipefail

PRMERS="./prmers"
PATTERN='\[Gerbicz Li] Check passed'
LOGDIR="./logs_gerbicz"
mkdir -p "$LOGDIR"

EXTRA_ARGS=("$@")

EXPS=(
  127
  1279
  2203
  9941
  44497
  756839
  3021377
  37156667
  57885161
  77232917
  82589933
  136279841
  146410013
  161051017
  177156127
  180000017
  200000033
  220000013
  250000013
  280000027
  300000007
  320000077
  340000019
  360000019
  400000009
  500000003
  600000001
)

cleanup_children() {
  local pids=("$@")
  for pid in "${pids[@]}"; do
    if kill -0 "$pid" 2>/dev/null; then
      kill -TERM "$pid" 2>/dev/null || true
    fi
  done
}
trap 'cleanup_children $(jobs -pr) || true' INT TERM EXIT

run_one() {
  local exp="$1"
  local log="$LOGDIR/run_${exp}.log"
  : > "$log"

  echo "==> start exp=$exp | log=$log"
  if command -v stdbuf >/dev/null 2>&1; then
    (stdbuf -oL -eL "$PRMERS" "$exp" -checklevel 1 "${EXTRA_ARGS[@]}" 2>&1) >"$log" &
  else
    ("$PRMERS" "$exp" -checklevel 1 "${EXTRA_ARGS[@]}" 2>&1) >"$log" &
  fi
  local app_pid=$!

  ( tail -n +1 -F "$log" | tee /dev/stderr | grep -m1 -q "$PATTERN" ) &
  local watch_pid=$!

  local status=0
  if wait "$watch_pid"; then
    echo "==> detected Gerbicz pass for exp=$exp, stopping process..."
    kill -TERM "$app_pid" 2>/dev/null || true
    ( sleep 2; kill -KILL "$app_pid" 2>/dev/null || true ) &
    wait "$app_pid" || status=$?
  else
    wait "$app_pid" || status=$?
  fi

  echo "==> done exp=$exp (status=$status)"
  return 0
}

for exp in "${EXPS[@]}"; do
  run_one "$exp"
done

echo "==> all runs finished"