[0.466290s] Checked test/success/V-types.prl
[0.027322s] Checked test/success/bool-fhcom-without-open-eval.prl
[0.027271s] Checked test/success/bool-pair-test.prl
[0.011687s] Checked test/success/dashes-n-slashes.prl
[0.020183s] Checked test/success/decomposition.prl
[0.007542s] Checked test/success/discrete-types.prl
[0.033909s] Checked test/success/empty.prl
[0.008370s] Checked test/success/equality-elim.prl
[0.031027s] Checked test/success/equality.prl
[0.028590s] Checked test/success/fcom-types.prl
[0.042979s] Checked test/success/hcom.prl
[0.034414s] Checked test/success/lines.prl
[0.022966s] Checked test/success/logical-investigations.prl
[0.006488s] Checked test/success/match.prl
[0.072915s] Checked test/success/num.prl
[0.018215s] Checked test/success/path-ap-const.prl
[0.007151s] Checked test/success/primitive-sequencing.prl
[0.049872s] Checked test/success/pushout.prl
[0.011476s] Checked test/success/record.prl
[0.011093s] Checked test/success/s1.prl
[0.020698s] Checked test/success/strict-bool.prl
[0.005718s] Checked test/success/unfold.prl
[0.015203s] Checked test/success/universes.prl
[0.008326s] Checked test/success/wbool-fhcom.prl
[0.032367s] Checked example/J.prl
[0.050500s] Checked example/README.prl
[0.078889s] Checked example/category.prl
[0.107386s] Checked example/connection.prl
[0.119748s] Checked example/groupoid.prl
[0.080725s] Checked example/hlevels.prl
[0.345219s] Checked example/omega1s1.prl
[8.667238s] Checked example/semi-simplicial.prl
[0.061491s] Checked example/theorem-of-choice.prl
[0.319730s] Checked example/tutorial.prl
[0.018383s] Checked example/tutorial1.prl
[0.004551s] Checked example/tutorial2.prl
[1.270369s] Checked example/univalence.prl
[0.201712s] All tests ran as expected!
