Does anybody know what this is? 01:58:19 Running HOL-Quickcheck_Benchmark ...01:58:20 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_Base01:58:20 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Find_Unused_Assms_Examples01:58:23 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Example01:58:24 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Example01:58:24 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Example02:12:01 Warning - Unable to increase stack - interrupting thread02:12:01 *** Interrupt02:12:01 HOL-Quickcheck_Benchmark FAILED
Larry > Begin forwarded message: > > From: Isabelle/Jenkins <ci@isabelle.systems> > Subject: [Isabelle-ci] Build failure in Isabelle (benchmark) > Date: 12 March 2019 at 01:22:32 GMT > To: isabelle...@mail46.informatik.tu-muenchen.de > > The Isabelle build failed. See the log at: > https://ci.isabelle.systems/jenkins/job/isabelle-nightly-benchmark/887/
build.log
Description: Binary data
> _______________________________________________ > Isabelle-ci mailing list > isabelle...@mail46.informatik.tu-muenchen.de > https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
