[Feature] Use Python assert in smart contract about neo-boa

[ixje]

I have not looked at what getapplicationlog does, but notification events that triggered before the contract faulted can be logged/displayed with neo-python via config sc-debug-notify. Does that help?

sc-debug-notify - toggle printing smart contract Notify events on execution failure

[hal0x2328]

notification events that triggered before the contract faulted can be logged/displayed with neo-python via config sc-debug-notify. Does that help?

Yes, that could eliminate the need for the extra print statement.

[hal0x2328]

One other issue I am having with my bespoke assert implementation is that it appears to be impossible to have a void return type for a function. So unless I use something like

ret = sc_assert(something_is_true(), "Not true!")

I end up with an extra value on the evaluation stack at the end of execution, which is undesirable. But adding the unused variable assignment is also kind of inelegant.

[hal0x2328]

I think I found the solution and it doesn't require any changes to neo-boa, just a little knowledge of Python internals:

OnError = RegisterAction('error', 'message')

def Main(operation, args):
    assert args[0] == True, 'Got false argument!'
    return True

def AssertionError(msg):
    OnError(msg)
    throw_if_null(0)