Skip to content

Fix and improve `iSpecialize` auto framing error message.

Robbert Krebbers requested to merge robbert/error_message_autoframe into master

This closes issue #432 (closed).

Also this MR makes the error message more informative: it now shows on which premise it failed.

It also adds some tests.

Merge request reports