| # OB-1 stage 2: resume of runs-ob1.sh after the harness terminated the process | |
| # that had launched it (see RUNLOG-1.txt section 12, deviation D5). At that point | |
| # res-prose-a, res-prose-b, res-code-a, lease-k16-prose-a and lease-k16-prose-b | |
| # had completed and been staged; lease-k16-code was killed part way through and | |
| # had produced no identity artifact and no stats file, so it is re-run here from | |
| # the start. No guard process was signalled: pids 654 and 489 were verified alive | |
| # immediately afterwards. | |
| # | |
| # Same driver, same binary, same flags as runs-ob1.sh. | |
| SH=/mnt/f/f32/openbob-wt/research-2/research/ob1/run-ob1.sh | |
| AC_PROSE=/mnt/f/f32/stage/research/ob1/AC-PROSE.txt | |
| AC_CODE=/mnt/f/f32/stage/research/ob1/AC-CODE.txt | |
| sh "$SH" lease-k16-code "$AC_CODE" 16 0 | |
| sh "$SH" lease-k8-prose "$AC_PROSE" 8 0 | |
| sh "$SH" lease-k8-code "$AC_CODE" 8 0 | |
| sh "$SH" lease-k4-prose "$AC_PROSE" 4 0 | |
| sh "$SH" lease-k4-code "$AC_CODE" 4 0 | |
| sh "$SH" lease-k16-prose-fadv "$AC_PROSE" 16 1 | |
| echo "RESUME MATRIX COMPLETE" | |