RERS-angr Example of how to run angr on the RERS problems Requirements (venv recommended): pip install angr tqdm First download, patch and compile the RERS problems with prepare_training_patched.sh Then run main.py