Mapping id changed every time in the Proftpd example

[abyss9]

Hi, I tried to run the proftpd example but no solution is found. I did find the required mapping but its id is different from that in the README.md file. Actually the mapping ids change every time when running BOPC, so the mapping-id I got from the previous execution with --enum-mappings is different from that in the later searching execution with --mapping-id. Any suggestion is welcome. Thanks!

[ispoleet]

All mappings are calculated in deterministic order. There is no code in BOPC that adds randomness to that. If this happens then it is angr maybe that adds randomness. You can fix this and instead of getting the i-th mapping to check the actual registers on each mapping.

[abyss9]

I am using the angr version described in the setup.sh file (angr==7.8.9.26). Is there another way to work around this or I have to modify the code to use the actual registers?