dev: enable catching specific revert messages in pytest runner

[enitrat]

the following

        with_attr error_message("Kakarot: register account address mismatch") {
            assert starknet_address = caller_address;
        }

will not raise an exception with the expected error message, but with

<ExceptionInfo VmException('Error at pc=0:23412:\nAn ASSERT_EQ instruction failed: 34238410343002505708643182162228981218721138754771...108111449060936056937738554844493177996297967078085.', ~/kkrt-labs/kakarot/src/kakarot/library.cairo:246:13) tblen=8>
(Pdb) e.value
VmException('Error at pc=0:23412:\nAn ASSERT_EQ instruction failed: 3423841034300250570864318216222898121872113875477109688986355992595934156170 != 1711920517150125285432159108111449060936056937738554844493177996297967078085.', /Users/msaug/kkrt-labs/kakarot/src/kakarot/library.cairo:246:13)

For a better test coverage we should be able to catch the exception wrapped with the with_attr message

[ClementWalter]

You mean that the attribute is not used in the test runner?

[enitrat]

yes, it will fail with the ASSERT_EQ instruction failed message, not the attribute defined

[ClementWalter]

there are some remapping that should be added, see https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/lang/vm/virtual_machine_base.py#L54