Skip to content

Test for !331 and hint for `bi_emp_valid`

Paolo G. Giarrusso requested to merge Blaisorblade/iris:trivial-hint-2 into master

The extra hint came up in the simplest testcase.

Edited by Robbert Krebbers

Merge request reports