`unexpected symbolic argument` for prove test with single `address` argument

[transmissions11]

I have a simple test function that takes a single address arg:

function proveConnectingExecutionManager(address newExecutionManager) public {
        registry.connectExecutionManager(newExecutionManager);
        assertEq(registry.L1_NovaExecutionManagerAddress(), newExecutionManager);
}

https://github.com/Rari-Capital/nova-invariants/blob/4d1a9c9a4aa929314e82da79b6d52c980506c57e/src/Registry.t.sol#L31

The connectExecutionManager() function is simple:

address public L1_NovaExecutionManagerAddress;

function connectExecutionManager(address newExecutionManagerAddress) external requiresAuth {
        L1_NovaExecutionManagerAddress = newExecutionManagerAddress;
        emit ExecutionManagerConnected(newExecutionManagerAddress);
}

https://github.com/Rari-Capital/nova/blob/3252ceea5e50d3c29be69861b77908a5b4f28815/contracts/L2_NovaRegistry.sol#L39-L48

Why is this failing with unexpected symbolic argument:

hevm: unexpected symbolic argument
CallStack (from HasCallStack):
  error, called at src/EVM/Symbolic.hs:42:14 in hevm-0.48.1-68JBNYehi12HotjGf8Zowl:EVM.Symbolic

[MrChico]

You would have to look into which opcode this error is thrown on to get a clue about what specifically is not supported here, I agree that it looks like this should be doable

[transmissions11]

How can I find which opcode? The debugger crashes running the test too

[MrChico]

Whatever opcode it crashes on if you step carefully would be the culprit

[transmissions11]

hmm ok the debugger doesn't actually seem to crash anymore, just show that the test failed without any assertion violations or reverts? 🤔

https://asciinema.org/a/FRAL9R3u42exwNWtp3FVCL0l3