Tests for Occurrence Diagnostics #98
Description
The Occurrence Diagnostics implementation #94 is largely untested because scip snapshot doesn't include diagnostic information
A new test should be written to support snapshots with diagnostics. It should be pretty easy to implement using scip print --json, piping that into jq to only select diagnostic, and writing that to a json file