Skip to content
GitLab

Test for !331 and hint for `bi_emp_valid`

Merged 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