How to return/store all counter examples?

[ytsao]

Hi,

The following screenshot is my testing example that is verified by alpha-beta-CROWN.
And I have two questions about the result.

1. In PGD attack information, is there a typo? I think it should be examples instead of examles.

2. The information shows there are 9 violations, is that possible to store all violation in text.cex.txt? I have tried to set save_adv_example as true in .yaml file. But there is only 1 counter example in the file.

Thanks!

[yizhake]

@ytsao
I encounter the same problem.
Do you have any solution?

[shizhouxing]

You may modify the code to get more information about the counterexamples https://github.com/Verified-Intelligence/alpha-beta-CROWN/blob/main/complete_verifier/attack/attack_pgd.py#L489

@ytsao Thanks for spotting the typo and we'll fix it in the next release.