Alex

@cryptomental I'm seeing this generate Assertion Failure Positive hits and still pass. It looks like the config provided will ignore Assertion failures, but this is one of the two error...

@cryptomental Are you fairly certain that once the Z3 problems are fixed that we could update this and start failing on assertion errors safely?

Sounds good! Thank you!