I get a syntax error (on the `formulae` section - ...

# arrow-meta

[Brett Byler]

I get a syntax error (on the formulae section - I’m admittedly not very familiar with native Z3 syntax). The test I linked above is the only example I could find of a @Post condition. Would this help in any way? Or is there more support needed from the AA backend?