Runtime Failure with Spectre Recipe

[NicolaasWeideman]

Command:
docker run -it --rm -v $(pwd):/bap-toolkit bap-toolkit bap sudo --recipe=spectre

Output:

[00:00:00]  disassemble: 100% (4/4)
[01:31:08]  primus-greedy:  95% (354/372)
[01:35:01]  primus-mark-visited:   8% (516/6448)
[01:34:57]  run:   0% (0/1)
[01:31:08]   multi-task-job:   3% (18/581)
The pass "run" failed with:
length mismatch in for_all2_exn: 4 <> 3

Bap Version:

docker run -it --rm -v $(pwd):/bap-toolkit bap-toolkit bap --version
2.6.0-alpha+7d79f7f

Files:
I attached a zip archive containing the sudo binary and log file produced by Bap.
files.zip

[ivg]

@NicolaasWeideman thanks for the report and the artifacts! I transferred the issue to the bap main repository as the problem is in bap itself not in the recipe.