Test:
bugs.gh_7853_test
Title:
Do not consider non-deterministic expressions as invariants in pre-filters
Show
cross-report
outcomes. Jump to
elapsed_time_chart
Chart of elapsed time, ms: