... testing 'pr11888.ml' => passed
... testing 'pr13579.ml' => passed
... testing 'pr5332.ml' => passed
... testing 'pr5689.ml' => passed
... testing 'pr5785.ml' => passed
... testing 'pr5848.ml' => passed
... testing 'pr5906.ml' => passed
... testing 'pr5948.ml' => passed
... testing 'pr5981.ml' => passed
... testing 'pr5985.ml' => passed
... testing 'pr5989.ml' => passed
... testing 'pr5997.ml' => passed
... testing 'pr6158.ml' => passed
... testing 'pr6163.ml' => passed
... testing 'pr6174.ml' => passed
... testing 'pr6241.ml' => passed
... testing 'pr6690.ml' => passed
... testing 'pr6817.ml' => passed
... testing 'pr6934.ml' => passed
... testing 'pr6980.ml' => passed
... testing 'pr6993_bad.ml' => passed
... testing 'pr7016.ml' => passed
... testing 'pr7160.ml' => passed
... testing 'pr7214.ml' => passed
... testing 'pr7222.ml' => passed
... testing 'pr7230.ml' => passed
... testing 'pr7234.ml' => passed
... testing 'pr7260.ml' => passed
... testing 'pr7269.ml' => passed
... testing 'pr7298.ml' => passed
... testing 'pr7374.ml' => passed
... testing 'pr7378.ml' => passed
... testing 'pr7381.ml' => passed
... testing 'pr7390.ml' => passed
... testing 'pr7391.ml' => passed
... testing 'pr7397.ml' => passed
... testing 'pr7421.ml' => passed
... testing 'pr7432.ml' => passed
... testing 'pr7520.ml' => passed
... testing 'pr7618.ml' => passed
... testing 'pr7747.ml' => passed
... testing 'pr7902.ml' => passed
... testing 'pr9019.ml' => passed
... testing 'pr9759.ml' => passed
... testing 'pr9799.ml' => passed
... testing 'principality-and-gadts.ml' => passed
... testing 'return_type.ml' => passed
... testing 'syntactic-arity.ml' => passed
... testing 'term-conv.ml' => passed
... testing 'test.ml' => passed
... testing 'unexpected_existentials.ml' => passed
... testing 'unify_mb.ml' => passed
... testing 'variables_in_mcomp.ml' => passed
... testing 'yallop_bugs.ml' => passed
Running tests from 'tests/typing-immediate' ...
... testing 'immediate.ml' => passed
Running tests from 'tests/typing-implicit_unpack' ...
... testing 'implicit_unpack.ml' => passed
Running tests from 'tests/typing-kind' ...
... testing 'kind_mismatch.ml' => passed
Running tests from 'tests/typing-labels' ...
... testing 'mixin.ml' => passed
... testing 'mixin2.ml' => passed
... testing 'mixin3.ml' => passed
Running tests from 'tests/typing-misc' ...
... testing 'apply_non_function.ml' => passed
... testing 'automatic_generalize.ml' => passed
... testing 'build_as_type.ml' => passed
... testing 'constraints.ml' => passed
... testing 'deep.ml' => passed
... testing 'disambiguate_principality.ml' => passed
... testing 'distant_errors.ml' => passed
... testing 'empty_variant.ml' => passed
... testing 'enrich_typedecl.ml' => passed
... testing 'exotic_unifications.ml' => passed
... testing 'exp_denom.ml' => passed
... testing 'external_arity.ml' => passed
... testing 'filter_params.ml' => passed
... testing 'gpr2277.ml' => passed
... testing 'includeclass_errors.ml' => passed
... testing 'injectivity.ml' => passed
... testing 'inside_out.ml' => passed
... testing 'is_expansive.ml' => passed
... testing 'labels.ml' => passed
... testing 'let_rec_approx.ml' => passed
... testing 'normalize_type.ml' => passed
... testing 'occur_check.ml' => passed
... testing 'open.ml' => passed
... testing 'optbinders.ml' => passed
... testing 'pat_type_sharing.ml' => passed
... testing 'pattern_open.ml' => passed
... testing 'polyvars.ml' => passed
... testing 'pr6416.ml' => passed
... testing 'pr6634.ml' => passed
... testing 'pr6939-flat-float-array.ml' => passed
... testing 'pr6939-no-flat-float-array.ml' => skipped
... testing 'pr7103.ml' => passed
... testing 'pr7228.ml' => passed
... testing 'pr7668_bad.ml' => passed
... testing 'pr7712.ml' => passed
... testing 'pr7937.ml' => passed
... testing 'pr8548.ml' => passed
... testing 'pr8548_split.ml' => passed
... testing 'printing.ml' => passed
... testing 'records.ml' => passed
... testing 'scope_escape.ml' => passed
... testing 'typecore_empty_polyvariant_error.ml' => passed
... testing 'typecore_errors.ml' => passed
... testing 'typecore_nolabel_errors.ml' => passed
... testing 'typetexp_errors.ml' => passed
... testing 'unbound_type_variables.ml' => passed
... testing 'unique_names_in_unification.ml' => passed
... testing 'variance.ml' => passed
... testing 'variant.ml' => passed
... testing 'wellfounded.ml' => passed
... testing 'wrong_kind.ml' => passed
Running tests from 'tests/typing-misc-bugs' ...
... testing 'core_array_reduced_ok.ml' => passed
... testing 'gadt_declaration_check.ml' => passed
... testing 'pr6303_bad.ml' => passed
... testing 'pr6946_bad.ml' => passed
Running tests from 'tests/typing-missing-cmi' ...
... testing 'test.ml' => passed
Running tests from 'tests/typing-missing-cmi-2' ...
... testing 'test.ml' => passed
Running tests from 'tests/typing-missing-cmi-3' ...
... testing 'user.ml' => passed
Running tests from 'tests/typing-modules' ...
... testing 'Test.ml' => passed
... testing 'aliases.ml' => passed
... testing 'anonymous.ml' => passed
... testing 'applicative_functor_type.ml' => passed
... testing 'extension_constructors_errors_test.ml' => passed
... testing 'firstclass.ml' => passed
... testing 'functors.ml' => passed
... testing 'generative.ml' => passed
... testing 'illegal_permutation.ml' => passed
... testing 'inclusion_errors.ml' => passed
... testing 'inclusion_errors_elision.ml' => passed
... testing 'merge_constraint.ml' => passed
... testing 'mixmod5.ml' => passed
... testing 'module_type_substitution.ml' => passed
... testing 'nondep.ml' => passed
... testing 'nondep_private_abbrev.ml' => passed
... testing 'nongen.ml' => passed
... testing 'normalize_path.ml' => passed
... testing 'package_constraint.ml' => passed
... testing 'packed_module_levels.ml' => passed
... testing 'pr10298.ml' => passed
... testing 'pr10399.ml' => passed
... testing 'pr13185.ml' => passed
... testing 'pr5911.ml' => passed
... testing 'pr6394.ml' => passed
... testing 'pr6633.ml' => passed
... testing 'pr7207.ml' => passed
... testing 'pr7348.ml' => passed
... testing 'pr7726.ml' => passed
... testing 'pr7787.ml' => passed
... testing 'pr7818.ml' => passed
... testing 'pr7851.ml' => passed
... testing 'pr8810.ml' => passed
... testing 'pr9384.ml' => passed
... testing 'pr9695.ml' => passed
... testing 'printing.ml' => passed
... testing 'private.ml' => passed
... testing 'records_errors_test.ml' => passed
... testing 'recursive.ml' => passed
... testing 'struct_include_optimisation.ml' => passed
... testing 'unroll_private_abbrev.ml' => passed
... testing 'variants_errors_test.ml' => passed
... testing 'with_ghosts.ml' => passed
Running tests from 'tests/typing-modules-bugs' ...
... testing 'gatien_baron_20131019_ok.ml' => passed
... testing 'pr10661_ok.ml' => passed
... testing 'pr10693_bad.ml' => passed
... testing 'pr5164_ok.ml' => passed
... testing 'pr51_ok.ml' => passed
... testing 'pr5663_ok.ml' => passed
... testing 'pr5914_ok.ml' => passed
... testing 'pr6240_ok.ml' => passed
... testing 'pr6293_bad.ml' => passed
... testing 'pr6427_bad.ml' => passed
... testing 'pr6485_ok.ml' => passed
... testing 'pr6513_ok.ml' => passed
... testing 'pr6572_ok.ml' => passed
... testing 'pr6651_ok.ml' => passed
... testing 'pr6752_bad.ml' => passed
... testing 'pr6752_ok.ml' => passed
... testing 'pr6899_first_bad.ml' => passed
... testing 'pr6899_ok.ml' => passed
... testing 'pr6899_second_bad.ml' => passed
... testing 'pr6944_ok.ml' => passed
... testing 'pr6954_ok.ml' => passed
... testing 'pr6981_ok.ml' => passed
... testing 'pr6982_ok.ml' => passed
... testing 'pr6985_extended.ml' => passed
... testing 'pr6985_ok.ml' => passed
... testing 'pr6992_bad.ml' => passed
... testing 'pr7036_ok.ml' => passed
... testing 'pr7082_ok.ml' => passed
... testing 'pr7112_bad.ml' => passed
... testing 'pr7112_ok.ml' => passed
... testing 'pr7152_ok.ml' => passed
... testing 'pr7182_ok.ml' => passed
... testing 'pr7305_principal.ml' => passed
... testing 'pr7321_ok.ml' => passed
... testing 'pr7414_2_bad.ml' => passed
... testing 'pr7414_bad.ml' => passed
... testing 'pr7519_ok.ml' => passed
... testing 'pr7601_ok.ml' => passed
... testing 'pr7601a_ok.ml' => passed
... testing 'pr9695_bad.ml' => passed
Running tests from 'tests/typing-modules/pr13099' ...
... testing 'test.ml' => passed
Running tests from 'tests/typing-multifile' ...
... testing 'pr6372.ml' => passed
... testing 'pr7325.ml' => passed
... testing 'pr7563.ml' => passed
... testing 'pr9218.ml' => passed
Running tests from 'tests/typing-objects' ...
... testing 'Exemples.ml' => passed
... testing 'Tests.ml' => passed
... testing 'abstract_rows.ml' => passed
... testing 'class_2.ml' => passed
... testing 'dummy.ml' => passed
... testing 'errors.ml' => passed
... testing 'field_kind.ml' => passed
... testing 'nongen.ml' => passed
... testing 'open_in_classes.ml' => passed
... testing 'pr11569.ml' => passed
... testing 'pr13495.ml' => passed
... testing 'pr5545.ml' => passed
... testing 'pr5619_bad.ml' => passed
... testing 'pr5858.ml' => passed
... testing 'pr6123_bad.ml' => passed
... testing 'pr6383.ml' => passed
... testing 'pr6907_bad.ml' => passed
... testing 'pr7711_ok.ml' => passed
... testing 'self_cannot_be_closed.ml' => passed
... testing 'self_cannot_escape_pr7865.ml' => passed
... testing 'unbound-type-var.ml' => passed
Running tests from 'tests/typing-objects-bugs' ...
... testing 'pr3968_bad.ml' => passed
... testing 'pr4018_bad.ml' => passed
... testing 'pr4435_bad.ml' => passed
... testing 'pr4766_ok.ml' => passed
... testing 'pr4824_ok.ml' => passed
... testing 'pr4824a_bad.ml' => passed
... testing 'pr5156_ok.ml' => passed
... testing 'pr7284_bad.ml' => passed
... testing 'pr7293_ok.ml' => passed
... testing 'woodyatt_ok.ml' => passed
... testing 'yamagata021012_ok.ml' => passed
Running tests from 'tests/typing-ocamlc-i' ...
... testing 'pervasives_leitmotiv.ml' => passed
... testing 'pr4791.ml' => passed
... testing 'pr6323.ml' => passed
... testing 'pr7402.ml' => passed
... testing 'pr7620_bad.ml' => passed
Running tests from 'tests/typing-poly' ...
... testing 'error_messages.ml' => passed
... testing 'poly.ml' => passed
... testing 'pr7636.ml' => passed
... testing 'pr9603.ml' => passed
Running tests from 'tests/typing-poly-bugs' ...
... testing 'pr5322_ok.ml' => passed
... testing 'pr5673_ok.ml' => passed
... testing 'pr6922_ok.ml' => passed
Running tests from 'tests/typing-polyvariants-bugs' ...
... testing 'pr10664.ml' => passed
... testing 'pr10664a.ml' => passed
... testing 'pr4775_ok.ml' => passed
... testing 'pr4933_ok.ml' => passed
... testing 'pr5057_ok.ml' => passed
... testing 'pr5057a_bad.ml' => passed
... testing 'pr7199_ok.ml' => passed
... testing 'pr7817_bad.ml' => passed
... testing 'pr7824.ml' => passed
... testing 'pr8575.ml' => passed
... testing 'privrowsabate_ok.ml' => passed
Running tests from 'tests/typing-polyvariants-bugs-2' ...
... testing 'pr3918c.ml' => passed
Running tests from 'tests/typing-private' ...
... testing 'invalid_private_row.ml' => passed
... testing 'private.ml' => passed
Running tests from 'tests/typing-private-bugs' ...
... testing 'pr5026_bad.ml' => passed
... testing 'pr5469_ok.ml' => passed
Running tests from 'tests/typing-recmod' ...
... testing 'gpr1626.ml' => passed
... testing 'inconsistent_types.ml' => passed
... testing 'pr13514.ml' => passed
... testing 'pr6491.ml' => passed
... testing 'pr9494.ml' => passed
... testing 't01bad.ml' => passed
... testing 't02bad.ml' => passed
... testing 't03ok.ml' => passed
... testing 't04bad.ml' => passed
... testing 't05bad.ml' => passed
... testing 't06ok.ml' => passed
... testing 't07bad.ml' => passed
... testing 't08bad.ml' => passed
... testing 't09bad.ml' => passed
... testing 't10ok.ml' => passed
... testing 't11bad.ml' => passed
... testing 't12bad.ml' => passed
... testing 't13ok.ml' => passed
... testing 't14bad.ml' => passed
... testing 't15bad.ml' => passed
... testing 't16ok.ml' => passed
... testing 't17ok.ml' => passed
... testing 't18ok.ml' => passed
... testing 't20ok.ml' => passed
... testing 't21ok.ml' => passed
... testing 't22ok.ml' => passed
Running tests from 'tests/typing-recordarg' ...
... testing 'recordarg.ml' => passed
Running tests from 'tests/typing-rectypes-bugs' ...
... testing 'pr5343_bad.ml' => passed
... testing 'pr6174_bad.ml' => passed
... testing 'pr6870_bad.ml' => passed
Running tests from 'tests/typing-safe-linking' ...
... testing 'b_bad.ml' => passed
Running tests from 'tests/typing-shadowing-of-pervasives-submodules' ...
... testing 'redefine_largefile.ml' => passed
... testing 'redefine_largefile_top.ml' => passed
Running tests from 'tests/typing-short-paths' ...
... testing 'errors.ml' => passed
... testing 'gpr1223.ml' => passed
... testing 'pr5918.ml' => passed
... testing 'pr6836.ml' => passed
... testing 'pr7543.ml' => passed
... testing 'short-paths.ml' => passed
Running tests from 'tests/typing-signatures' ...
... testing 'els.ml' => passed
... testing 'nondep_regression.ml' => passed
... testing 'pr6371.ml' => passed
... testing 'pr6672.ml' => passed
... testing 'regression_tsubst_error.ml' => passed
Running tests from 'tests/typing-sigsubst' ...
... testing 'sig_local_aliases.ml' => passed
... testing 'sig_local_aliases_syntax_errors.ml' => passed
... testing 'sigsubst.ml' => passed
... testing 'test_locations.ml' => passed
Running tests from 'tests/typing-typeparam' ...
... testing 'newtype.ml' => passed
Running tests from 'tests/typing-unboxed' ...
... testing 'test.ml' => passed
Running tests from 'tests/typing-unboxed-types' ...
... testing 'test.ml' => passed
... testing 'test_flat.ml' => passed
... testing 'test_no_flat.ml' => skipped
Running tests from 'tests/typing-unicode' ...
... testing 'test.ml' => passed
Running tests from 'tests/typing-warnings' ...
... testing 'ambiguous_guarded_disjunction.ml' => passed
... testing 'application.ml' => passed
... testing 'coercions.ml' => passed
... testing 'disable_warnings_classes.ml' => passed
... testing 'exhaustiveness.ml' => passed
... testing 'fragile_matching.ml' => passed
... testing 'never_returns.ml' => passed
... testing 'open_warnings.ml' => passed
... testing 'pr5892.ml' => passed
... testing 'pr6587.ml' => passed
... testing 'pr6872.ml' => passed
... testing 'pr7085.ml' => passed
... testing 'pr7115.ml' => passed
... testing 'pr7261.ml' => passed
... testing 'pr7297.ml' => passed
... testing 'pr7553.ml' => passed
... testing 'pr9244.ml' => passed
... testing 'records.ml' => passed
... testing 'unused_functor_parameter.ml' => passed
... testing 'unused_rec.ml' => passed
... testing 'unused_recmodule.ml' => passed
... testing 'unused_types.ml' => passed
... testing 'warning16.ml' => passed
Running tests from 'tests/uid-deps' ...
... testing 'link_intf_impl.ml' => passed
Running tests from 'tests/uids' ...
... testing 'intf_uids_test.ml' => passed
Running tests from 'tests/unboxed-primitive-args' ...
... testing 'test.ml' => passed
Running tests from 'tests/unicode' ...
... testing '見.ml' => passed
Running tests from 'tests/unwind' ...
... testing 'driver.ml' => skipped
Running tests from 'tests/utils' ...
... testing 'edit_distance.ml' => passed
... testing 'find_first_mono.ml' => passed
... testing 'magic_number.ml' => passed
... testing 'overflow_detection.ml' => passed
... testing 'test_strongly_connected_components.ml' => passed
Running tests from 'tests/warnings' ...
... testing 'deprecated_module.ml' => passed
... testing 'deprecated_module_assigment.ml' => passed
... testing 'deprecated_module_use.ml' => passed
... testing 'deprecated_mutable.ml' => passed
... testing 'deprecated_warning_specs.ml' => passed
... testing 'mnemonics.mll' => passed
... testing 'w01.ml' => passed
... testing 'w03.ml' => passed
... testing 'w04.ml' => passed
... testing 'w04_failure.ml' => passed
... testing 'w06.ml' => passed
... testing 'w26_alias.ml' => passed
... testing 'w32.ml' => passed
... testing 'w32b.ml' => passed
... testing 'w33.ml' => passed
... testing 'w44.ml' => passed
... testing 'w45.ml' => passed
... testing 'w47_inline.ml' => passed
... testing 'w47_ppwarning.ml' => passed
... testing 'w50.ml' => passed
... testing 'w51.ml' => passed
... testing 'w51_bis.ml' => passed
... testing 'w52.ml' => passed
... testing 'w53.ml' => passed
... testing 'w53_across_cmi.ml' => passed
... testing 'w53_flags.ml' => passed
... testing 'w53_marshalled.ml' => passed
... testing 'w54.ml' => passed
... testing 'w55.ml' => passed
... testing 'w58.ml' => passed
... testing 'w59.ml' => passed
... testing 'w60.ml' => passed
... testing 'w74.ml' => passed
Running tests from 'tests/weak-ephe-final' ...
... testing 'ephe_infix.ml' => passed
... testing 'ephetest.ml' => passed
... testing 'ephetest2.ml' => passed
... testing 'ephetest3.ml' => passed
... testing 'ephetest_par.ml' => passed
... testing 'finaliser.ml' => passed
... testing 'finaliser2.ml' => passed
... testing 'finaliser_handover.ml' => passed
... testing 'pr12001.ml' => passed
... testing 'weaklifetime.ml' => passed
... testing 'weaklifetime2.ml' => passed
... testing 'weaktest.ml' => passed
... testing 'weaktest_par_load.ml' => passed
Running tests from 'tests/win-unicode' ...
... testing 'mltest.ml' => passed
List of skipped tests:
tests/arch-power
tests/asmcomp/lift_mutable_let_flambda.ml
tests/asmcomp/unrolling_flambda.ml
tests/asmcomp/unrolling_flambda2.ml
tests/asmgen/integr.cmm
tests/ephe-c-api
tests/flambda/afl_lazy.ml
tests/flambda/specialise.ml
tests/frame-pointers
tests/letrec-check/no_flat_float_array.ml
tests/lib-bigarray-2/bigarrfml.ml
tests/lib-dynlink-csharp
tests/lib-unix/isatty/isatty_tty.ml
tests/lib-unix/win-channel-of
tests/lib-unix/win-createprocess
tests/lib-unix/win-env
tests/lib-unix/win-socketpair
tests/lib-unix/win-stat
tests/lib-unix/win-symlink
tests/manual-intf-c
tests/tsan
tests/typing-misc/pr6939-no-flat-float-array.ml
tests/typing-unboxed-types/test_no_flat.ml
tests/unwind
List of failed tests:
tests/lib-runtime-events/test_dropped_events.ml
Summary:
1419 tests passed
40 tests skipped
1 tests failed
0 tests not started (parent test skipped or failed)
0 unexpected errors
1460 tests considered
#### Something failed. Exiting with error status.
make[5]: *** [Makefile:329: report] Error 4
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 486 |
Nodes: | 16 (2 / 14) |
Uptime: | 137:08:44 |
Calls: | 9,657 |
Calls today: | 5 |
Files: | 13,707 |
Messages: | 6,167,063 |