Filipe Casal

Yes, correct! I decided to do it this way and not the other way around (requiring a flag to view all results) because I didn't want to change the default...

Hi @pscott, indeed this is something we would like to improve the current rule on. Currently, there is no direct way of doing control-flow analysis with Amarna, and validating if...

Hi @achab, thanks for reporting this. The issue happens because cairo-lang uses an old version of lark (0.12). I've added versions to the requirements file (https://github.com/crytic/amarna/commit/4015dffbcb3962c63babe495325ac553e8a9e84a) but this does not...