TicketDepot contract tests always Fail

I am trying to test my rules, but I am unable to run TicketDepot example at all. I checked out the original contract code from the repository, and even the Sanity.spec shows Failed status on prover site

I checked the insights and following error shows up

[main] ERROR ALWAYS - Encountered exception java.lang.NullPointerException while running: -cache TicketDepot.sol-optimisticFalse-iterNone -globalTimeout 7200

Additional Info

1 Like

Yeah sorry, we are aware of that.
please skip it for now. it’s in our pipeline. We will notify you once it’s fixed.
Don’t worry about it in terms of checks and reviews, we wont hold you back in that sense