[0.066684s] Checked test/success/V-types.prl
[0.022747s] Checked test/success/bool-fhcom-without-open-eval.prl
[0.009820s] Checked test/success/bool-pair-test.prl
[0.010696s] Checked test/success/dashes-n-slashes.prl
[0.009144s] Checked test/success/decomposition.prl
[0.006263s] Checked test/success/discrete-types.prl
[0.013531s] Checked test/success/empty.prl
[0.009508s] Checked test/success/equality-elim.prl
[0.017783s] Checked test/success/equality.prl
[0.017168s] Checked test/success/fcom-types.prl
[0.029590s] Checked test/success/hcom.prl
[0.020541s] Checked test/success/lines.prl
[0.015952s] Checked test/success/logical-investigations.prl
[0.006435s] Checked test/success/match.prl
[0.057110s] Checked test/success/num.prl
[0.005304s] Checked test/success/path-ap-const.prl
[0.006268s] Checked test/success/primitive-sequencing.prl
[0.031267s] Checked test/success/pushout.prl
[0.008244s] Checked test/success/record.prl
[0.007556s] Checked test/success/s1.prl
[0.006306s] Checked test/success/strict-bool.prl
[0.007551s] Checked test/success/unfold.prl
[0.014039s] Checked test/success/universes.prl
[0.007731s] Checked test/success/wbool-fhcom.prl
[0.033327s] Checked example/J.prl
[0.041797s] Checked example/README.prl
[0.055496s] Checked example/category.prl
[0.095961s] Checked example/connection.prl
[0.087155s] Checked example/groupoid.prl
[0.057217s] Checked example/hlevels.prl
[0.293470s] Checked example/omega1s1.prl
[3.444040s] Checked example/semi-simplicial.prl
[0.023624s] Checked example/theorem-of-choice.prl
[0.214493s] Checked example/tutorial.prl
[0.017225s] Checked example/tutorial1.prl
[0.006475s] Checked example/tutorial2.prl
[0.594644s] Checked example/univalence.prl
[0.174226s] All tests ran as expected!
