Dear list, I went ahead with my additions to FSets (see now Isabelle/3ba16d28449d), but not before pushing the change to the testboard. There, I noticed that the HOLCF and IOA (and depending sessions) fail. The report [0] just says "timeout" with no indication what actually the problem was. I couldn't reproduce any timeouts on my local machine when building IOA and HOLCF.
Additionally, AFP seems to have failures: * Incompleteness and Ordinary_Differential_Equations both timeout, but spuriously * AODV appears to have consistent timeouts * SIFUM_Type_Systems produces a spurious segfault in poly, as can be witnessed here [1] I don't think my changes caused this and I'm unsure what to do about this situation. Increase timeouts? Cheers Lars [0] <https://isabelle.in.tum.de/testboard/Isabelle/report/e612ca23fce14060921f872c684f8c2a> [1] <https://isabelle.in.tum.de/testboard/Isabelle/report/ac7cea711c184eda91a405d2b56db313#l4577> _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev