Stream: Coq devs & plugin devs

Topic: tryif & anomalies

view this post on Zulip Janno (Jul 23 2020 at 09:42):

Is tryif supposed to consider anomalies failures? it seems to do so on master but not on 8.11.

view this post on Zulip Enrico Tassi (Jul 23 2020 at 09:44):

Please report a bug, no piece of Coq code should turn an anomaly into a regular failure.

view this post on Zulip Janno (Jul 23 2020 at 09:57):

Done: https://github.com/coq/coq/issues/12737

Last updated: Jun 05 2023 at 10:01 UTC