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: Oct 21 2021 at 21:03 UTC