Is tryif
supposed to consider anomalies failures? it seems to do so on master but not on 8.11.
Please report a bug, no piece of Coq code should turn an anomaly into a regular failure.
Done: https://github.com/coq/coq/issues/12737
Last updated: Jun 05 2023 at 10:01 UTC