Bootcheck terminated with exit status 1 (log)
FAILED TEST accumulator/base in grade java FAILED TEST accumulator/call_in_base in grade java FAILED TEST accumulator/commutative in grade java FAILED TEST accumulator/chain in grade java FAILED TEST accumulator/construct_test in grade java FAILED TEST accumulator/deconstruct_test in grade java FAILED TEST accumulator/dcg in grade java FAILED TEST accumulator/disj in grade java FAILED TEST accumulator/func in grade java FAILED TEST accumulator/highorder in grade java FAILED TEST accumulator/heuristic in grade java FAILED TEST accumulator/identity in grade java FAILED TEST accumulator/ite in grade java FAILED TEST accumulator/inter in grade java FAILED TEST accumulator/nonrec in grade java FAILED TEST accumulator/out_to_in in grade java FAILED TEST accumulator/simple in grade java FAILED TEST accumulator/qsort in grade java FAILED TEST accumulator/split in grade java FAILED TEST accumulator/swap in grade java FAILED TEST benchmarks/cqueens in grade java FAILED TEST benchmarks/crypt in grade java FAILED TEST benchmarks/deriv_1 in grade java FAILED TEST benchmarks/deriv_2 in grade java FAILED TEST benchmarks/nrev in grade java FAILED TEST benchmarks/poly in grade java FAILED TEST benchmarks/primes in grade java FAILED TEST benchmarks/qsort in grade java FAILED TEST benchmarks/queens in grade java FAILED TEST benchmarks/query in grade java FAILED TEST benchmarks/tak in grade java FAILED TEST dppd/run in grade java FAILED TEST exceptions/test_exceptions_func in grade java FAILED TEST exceptions/test_exceptions in grade java FAILED TEST exceptions/test_uncaught_exception in grade java FAILED TEST exceptions/test_try_all in grade java FAILED TEST exceptions/tricky_try_store in grade java FAILED TEST general/arithmetic in grade java FAILED TEST general/array_binsearch in grade java FAILED TEST general/base_string_to_int_test in grade java FAILED TEST general/array_test in grade java FAILED TEST general/commit_bug_1 in grade java FAILED TEST general/base_string_to_integer in grade java FAILED TEST general/commit_bug_2 in grade java FAILED TEST general/complex_failure in grade java FAILED TEST general/determinism_inlining in grade java FAILED TEST general/det_complicated_unify in grade java FAILED TEST general/disj_disj in grade java FAILED TEST general/do_while in grade java FAILED TEST general/double_error2 in grade java FAILED TEST general/double_error in grade java FAILED TEST general/duplicate_label in grade java FAILED TEST general/environment in grade java FAILED TEST general/fail_detism in grade java FAILED TEST general/float_roundtrip in grade java FAILED TEST general/frameopt_mkframe_bug in grade java FAILED TEST general/float_test in grade java FAILED TEST general/hello_again in grade java FAILED TEST general/higher_order in grade java FAILED TEST general/hlc_name_mangling in grade java FAILED TEST general/ho_spec_branch_bug in grade java FAILED TEST general/io_foldl in grade java FAILED TEST general/io_regression in grade java FAILED TEST general/intermod_type in grade java FAILED TEST general/liveness in grade java FAILED TEST general/liveness2 in grade java FAILED TEST general/map_equal in grade java FAILED TEST general/map_corresponding in grade java FAILED TEST general/mode_inf in grade java FAILED TEST general/mode_inf_bug in grade java FAILED TEST general/mu in grade java FAILED TEST general/mode_inference_reorder in grade java FAILED TEST general/nasty_nondet in grade java FAILED TEST general/nondet_disj in grade java FAILED TEST general/nondet_ite_2 in grade java FAILED TEST general/nondet_ite_1 in grade java FAILED TEST general/nondet_ite_3 in grade java FAILED TEST general/nondet_ite_4 in grade java FAILED TEST general/nondetlive in grade java FAILED TEST general/parse_list in grade java FAILED TEST general/petdr1 in grade java FAILED TEST general/partition in grade java FAILED TEST general/prune_switch in grade java FAILED TEST general/read_dir_regression in grade java FAILED TEST general/read_line_as_string in grade java FAILED TEST general/semi_fail_in_non_ite in grade java FAILED TEST general/semidet_lambda in grade java FAILED TEST general/semidet_map in grade java FAILED TEST general/set_test in grade java FAILED TEST general/state_vars_tests in grade java FAILED TEST general/state_vars_typeclasses in grade java FAILED TEST general/string_foldl_substring in grade java FAILED TEST general/string_format_special_floats in grade java FAILED TEST general/string_foldr_substring in grade java FAILED TEST general/string_format_test_2 in grade java FAILED TEST general/string_format_test_1 in grade java FAILED TEST general/string_format_test_3 in grade java FAILED TEST general/string_replace in grade java FAILED TEST general/string_test_2 in grade java FAILED TEST general/string_test_1 in grade java FAILED TEST general/string_to_float in grade java FAILED TEST general/test_string_to_int_overflow in grade java FAILED TEST general/test_parsing_utils in grade java FAILED TEST general/test_univ in grade java FAILED TEST general/unreachable in grade java FAILED TEST general/unsafe_uniqueness in grade java FAILED TEST general/unused_arg_determinism in grade java FAILED TEST hard_coded/abstract_eqv in grade java FAILED TEST hard_coded/address_of_builtins in grade java FAILED TEST hard_coded/allow_stubs in grade java FAILED TEST hard_coded/agg in grade java FAILED TEST hard_coded/arith_int16 in grade java FAILED TEST hard_coded/arith_int32 in grade java FAILED TEST hard_coded/arith_int64 in grade java FAILED TEST hard_coded/arith_int8 in grade java FAILED TEST hard_coded/arith_uint16 in grade java FAILED TEST hard_coded/arith_uint32 in grade java FAILED TEST hard_coded/arith_uint64 in grade java FAILED TEST hard_coded/arith_uint8 in grade java FAILED TEST hard_coded/array2d_from_array in grade java FAILED TEST hard_coded/array_all_tf in grade java FAILED TEST hard_coded/array_append in grade java FAILED TEST hard_coded/array_copy in grade java FAILED TEST hard_coded/array_fetch_items in grade java FAILED TEST hard_coded/array_fill in grade java FAILED TEST hard_coded/array_gen in grade java FAILED TEST hard_coded/array_primitives in grade java FAILED TEST hard_coded/array_resize in grade java FAILED TEST hard_coded/array_shrink in grade java FAILED TEST hard_coded/array_sort in grade java FAILED TEST hard_coded/array_swap in grade java FAILED TEST hard_coded/array_test_1 in grade java FAILED TEST hard_coded/array_test_2 in grade java FAILED TEST hard_coded/array_unify_compare in grade java FAILED TEST hard_coded/bad_indirect_reuse_3 in grade java FAILED TEST hard_coded/bad_indirect_reuse_4 in grade java FAILED TEST hard_coded/bag_various in grade java FAILED TEST hard_coded/big_array_from_list in grade java FAILED TEST hard_coded/bidirectional in grade java FAILED TEST hard_coded/bimap_set_bug in grade java FAILED TEST hard_coded/binary_stdin in grade java FAILED TEST hard_coded/bigtest in grade java FAILED TEST hard_coded/binary_stdout in grade java FAILED TEST hard_coded/bit_access_uint16 in grade java FAILED TEST hard_coded/bit_access_uint32 in grade java FAILED TEST hard_coded/bit_access_uint64 in grade java FAILED TEST hard_coded/bit_access_uint8 in grade java FAILED TEST hard_coded/bit_twiddle_int16 in grade java FAILED TEST hard_coded/bit_buffer_test in grade java FAILED TEST hard_coded/bit_twiddle_int32 in grade java FAILED TEST hard_coded/bit_twiddle_int64 in grade java FAILED TEST hard_coded/bit_twiddle_int8 in grade java FAILED TEST hard_coded/bit_twiddle_uint16 in grade java FAILED TEST hard_coded/bit_twiddle_uint32 in grade java FAILED TEST hard_coded/bit_twiddle_uint64 in grade java FAILED TEST hard_coded/bitmap_bytes in grade java FAILED TEST hard_coded/bit_twiddle_uint8 in grade java FAILED TEST hard_coded/bitmap_empty in grade java FAILED TEST hard_coded/bitmap_test in grade java FAILED TEST hard_coded/bitwise_int in grade java FAILED TEST hard_coded/bitwise_int16 in grade java FAILED TEST hard_coded/bitwise_int32 in grade java FAILED TEST hard_coded/bitwise_int64 in grade java FAILED TEST hard_coded/bitwise_int8 in grade java FAILED TEST hard_coded/bitwise_uint in grade java FAILED TEST hard_coded/bitwise_uint16 in grade java FAILED TEST hard_coded/bitwise_uint32 in grade java FAILED TEST hard_coded/bitwise_uint64 in grade java FAILED TEST hard_coded/bitwise_uint8 in grade java FAILED TEST hard_coded/boyer in grade java FAILED TEST hard_coded/brace in grade java FAILED TEST hard_coded/bug103 in grade java FAILED TEST hard_coded/bug160 in grade java FAILED TEST hard_coded/bug240 in grade java FAILED TEST hard_coded/bug300 in grade java FAILED TEST hard_coded/bug392 in grade java FAILED TEST hard_coded/bug383 in grade java FAILED TEST hard_coded/bug452 in grade java FAILED TEST hard_coded/bug455 in grade java FAILED TEST hard_coded/bug513 in grade java FAILED TEST hard_coded/bug557 in grade java FAILED TEST hard_coded/bug548 in grade java FAILED TEST hard_coded/bug567 in grade java FAILED TEST hard_coded/bug570 in grade java FAILED TEST hard_coded/bug570_can_fail in grade java FAILED TEST hard_coded/bug_pack_bits in grade java FAILED TEST hard_coded/c89_neg_int in grade java FAILED TEST hard_coded/bulk_compare_packed in grade java FAILED TEST hard_coded/c_write_string in grade java FAILED TEST hard_coded/calendar_test in grade java FAILED TEST hard_coded/cc_and_non_cc_test in grade java FAILED TEST hard_coded/cc_multi_bug in grade java FAILED TEST hard_coded/cc_nondet_disj in grade java FAILED TEST hard_coded/change_hunk_test in grade java FAILED TEST hard_coded/char_not_surrogate in grade java FAILED TEST hard_coded/char_signed in grade java FAILED TEST hard_coded/char_to_string in grade java FAILED TEST hard_coded/char_uint_conv in grade java FAILED TEST hard_coded/char_unicode in grade java FAILED TEST hard_coded/checked_nondet_tailcall_noinline in grade java FAILED TEST hard_coded/checked_nondet_tailcall in grade java FAILED TEST hard_coded/closeable_channel_test in grade java FAILED TEST hard_coded/closure_extension in grade java FAILED TEST hard_coded/cmp_int32 in grade java FAILED TEST hard_coded/cmp_int16 in grade java FAILED TEST hard_coded/cmp_int8 in grade java FAILED TEST hard_coded/cmp_int64 in grade java FAILED TEST hard_coded/cmp_uint16 in grade java FAILED TEST hard_coded/cmp_uint32 in grade java FAILED TEST hard_coded/cmp_uint8 in grade java FAILED TEST hard_coded/cmp_uint64 in grade java FAILED TEST hard_coded/coerce_existq in grade java FAILED TEST hard_coded/coerce_opt in grade java FAILED TEST hard_coded/common_type_cast in grade java FAILED TEST hard_coded/compare_spec in grade java FAILED TEST hard_coded/comparison in grade java FAILED TEST hard_coded/complicated_unify_bug in grade java FAILED TEST hard_coded/conditional_trace_scope in grade java FAILED TEST hard_coded/constant_prop_1 in grade java FAILED TEST hard_coded/constant_prop_2 in grade java FAILED TEST hard_coded/constant_prop_loop_inv in grade java FAILED TEST hard_coded/constant_prop_int in grade java FAILED TEST hard_coded/constraint_order in grade java FAILED TEST hard_coded/constraint in grade java FAILED TEST hard_coded/construct_bug in grade java FAILED TEST hard_coded/construct_mangle in grade java FAILED TEST hard_coded/construct_packed in grade java FAILED TEST hard_coded/construct_test in grade java FAILED TEST hard_coded/construct_test_exist in grade java FAILED TEST hard_coded/contains_char in grade java FAILED TEST hard_coded/contravariance_bug in grade java FAILED TEST hard_coded/contravariance_poly in grade java FAILED TEST hard_coded/copy_pred_1 in grade java FAILED TEST hard_coded/copy_pred_2 in grade java FAILED TEST hard_coded/curry_1 in grade java FAILED TEST hard_coded/curry_2 in grade java FAILED TEST hard_coded/cut_test in grade java FAILED TEST hard_coded/cycles_1 in grade java FAILED TEST hard_coded/cycles_2 in grade java FAILED TEST hard_coded/deconstruct_arg in grade java FAILED TEST hard_coded/deep_copy_bug in grade java FAILED TEST hard_coded/deep_copy in grade java FAILED TEST hard_coded/deforest_cc_bug in grade java FAILED TEST hard_coded/deep_copy_exist in grade java FAILED TEST hard_coded/delay_partial_test_1 in grade java FAILED TEST hard_coded/delay_partial_test_2 in grade java FAILED TEST hard_coded/dense_lookup_switch_1 in grade java FAILED TEST hard_coded/dense_lookup_switch_3 in grade java FAILED TEST hard_coded/dense_lookup_switch_2 in grade java FAILED TEST hard_coded/dense_lookup_switch_4 in grade java FAILED TEST hard_coded/dense_lookup_switch_non_1 in grade java FAILED TEST hard_coded/dense_lookup_switch_non_2 in grade java FAILED TEST hard_coded/det_in_semidet_cntxt in grade java FAILED TEST hard_coded/dir_fold in grade java FAILED TEST hard_coded/digraph_tc in grade java FAILED TEST hard_coded/direct_arg_partial_inst_1 in grade java FAILED TEST hard_coded/dir_test in grade java FAILED TEST hard_coded/direct_arg_partial_inst_2 in grade java FAILED TEST hard_coded/direct_arg_tags_1 in grade java FAILED TEST hard_coded/disjs_in_switch in grade java FAILED TEST hard_coded/direct_arg_tags_2 in grade java FAILED TEST hard_coded/division_test in grade java FAILED TEST hard_coded/dos in grade java FAILED TEST hard_coded/dst_test in grade java FAILED TEST hard_coded/dummy_no_tag in grade java FAILED TEST hard_coded/dummy_type_construct in grade java FAILED TEST hard_coded/dup_vars_in_trace_scopes_only in grade java FAILED TEST hard_coded/dupcall_impurity in grade java FAILED TEST hard_coded/dupcall_types_bug in grade java FAILED TEST hard_coded/edit_distance_test_closest in grade java FAILED TEST hard_coded/edit_distance_test_cost in grade java FAILED TEST hard_coded/ee_dummy in grade java FAILED TEST hard_coded/edit_seq_test in grade java FAILED TEST hard_coded/elim_local_var_char in grade java FAILED TEST hard_coded/ee_valid_test in grade java FAILED TEST hard_coded/equality_pred_which_requires_boxing in grade java FAILED TEST hard_coded/elim_special_pred in grade java FAILED TEST hard_coded/eqvclass_bug in grade java FAILED TEST hard_coded/eqv_type_bug in grade java FAILED TEST hard_coded/error_func in grade java FAILED TEST hard_coded/erroneous_liveness in grade java FAILED TEST hard_coded/existential_bound_tvar in grade java FAILED TEST hard_coded/exist_cons_ho_arg in grade java FAILED TEST hard_coded/existential_reordering in grade java FAILED TEST hard_coded/existential_float in grade java FAILED TEST hard_coded/existential_reordering_class in grade java FAILED TEST hard_coded/existential_type_switch_opt in grade java FAILED TEST hard_coded/existential_types_test in grade java FAILED TEST hard_coded/expand in grade java FAILED TEST hard_coded/export_test_1 in grade java FAILED TEST hard_coded/failure_unify in grade java FAILED TEST hard_coded/field_syntax in grade java FAILED TEST hard_coded/final_excp in grade java FAILED TEST hard_coded/finalise_decl in grade java FAILED TEST hard_coded/finalize_to_bitmap in grade java FAILED TEST hard_coded/flatten_disjunctions in grade java FAILED TEST hard_coded/float_conv in grade java FAILED TEST hard_coded/float_ground_term in grade java FAILED TEST hard_coded/float_field in grade java FAILED TEST hard_coded/float_map in grade java FAILED TEST hard_coded/float_gv in grade java FAILED TEST hard_coded/float_rounding_bug in grade java FAILED TEST hard_coded/float_reg in grade java FAILED TEST hard_coded/fold_days in grade java FAILED TEST hard_coded/fold_tests in grade java FAILED TEST hard_coded/follow_code_bug_1 in grade java FAILED TEST hard_coded/follow_code_bug_2 in grade java FAILED TEST hard_coded/foreign_and_mercury in grade java FAILED TEST hard_coded/foreign_code_before_proc in grade java FAILED TEST hard_coded/foreign_enum_switch in grade java FAILED TEST hard_coded/foreign_enum_rtti in grade java FAILED TEST hard_coded/foreign_import_module in grade java FAILED TEST hard_coded/foreign_name_mutable in grade java FAILED TEST hard_coded/foreign_type_2 in grade java FAILED TEST hard_coded/foreign_type_1 in grade java Mercury/javas/jmercury/foreign_type_1.java:32: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:34: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:35: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:36: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:37: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:39: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:438: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:287: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:396: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:15: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:16: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:17: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:18: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:19: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:25: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:26: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:26: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:27: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:27: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:28: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:32: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:34: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:35: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:36: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:37: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:39: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:44: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:44: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:46: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:46: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:55: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:63: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:69: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:71: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:85: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:90: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:93: error: package jmercury.runtime does not exist Mercury/javas/jmercury/foreign_type_1.java:164: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:168: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:171: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:175: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:179: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:182: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:187: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:191: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:194: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:198: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:202: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:205: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:210: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:214: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:217: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:221: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:225: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:228: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:233: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:237: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:240: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:244: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:248: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:251: error: cannot find symbol Mercury/javas/jmercury/foreign_type_1.java:293: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:299: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:306: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:310: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:315: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:317: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:319: error: package builtin.Comparison_result_0 does not exist Mercury/javas/jmercury/foreign_type_1.java:326: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:331: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:333: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:346: error: package builtin does not exist Mercury/javas/jmercury/foreign_type_1.java:425: error: package jmercury.runtime does not exist ERROR OUTPUT FAILED TEST hard_coded/foreign_type_3 in grade java FAILED TEST hard_coded/frameopt_pragma_redirect in grade java FAILED TEST hard_coded/free_free_mode in grade java FAILED TEST hard_coded/from_ground_term_bug in grade java FAILED TEST hard_coded/from_int_int16 in grade java FAILED TEST hard_coded/from_int_int32 in grade java FAILED TEST hard_coded/from_int_int64 in grade java FAILED TEST hard_coded/from_int_int8 in grade java FAILED TEST hard_coded/from_int_uint16 in grade java FAILED TEST hard_coded/from_int_uint32 in grade java FAILED TEST hard_coded/from_int_uint64 in grade java FAILED TEST hard_coded/from_int_uint8 in grade java FAILED TEST hard_coded/from_uint_uint16 in grade java FAILED TEST hard_coded/from_uint_uint32 in grade java FAILED TEST hard_coded/from_uint_uint64 in grade java FAILED TEST hard_coded/from_uint_uint8 in grade java FAILED TEST hard_coded/func_ctor_ambig in grade java FAILED TEST hard_coded/func_and_pred in grade java FAILED TEST hard_coded/func_test in grade java FAILED TEST hard_coded/func_exp in grade java FAILED TEST hard_coded/functor_ho_inst_1 in grade java FAILED TEST hard_coded/functor_ho_inst_2 in grade java FAILED TEST hard_coded/functor_ho_inst_excp_1 in grade java FAILED TEST hard_coded/functor_ho_inst_excp_2 in grade java FAILED TEST hard_coded/functor_ho_inst_float_reg in grade java FAILED TEST hard_coded/getopt_maybe_option in grade java FAILED TEST hard_coded/getopt_test in grade java FAILED TEST hard_coded/gh133 in grade java FAILED TEST hard_coded/gh72a in grade java FAILED TEST hard_coded/gh72 in grade java FAILED TEST hard_coded/gh72b in grade java FAILED TEST hard_coded/ground_dd in grade java FAILED TEST hard_coded/ground_terms in grade java FAILED TEST hard_coded/hash_bug in grade java FAILED TEST hard_coded/hash_init_bug in grade java FAILED TEST hard_coded/hash_table_delete in grade java FAILED TEST hard_coded/heap_ref_mask_tag in grade java FAILED TEST hard_coded/hash_table_test in grade java FAILED TEST hard_coded/higher_order_func_test in grade java FAILED TEST hard_coded/higher_order_mutable in grade java FAILED TEST hard_coded/higher_order_syntax_2 in grade java FAILED TEST hard_coded/higher_order_syntax_1 in grade java FAILED TEST hard_coded/higher_order_type_manip in grade java FAILED TEST hard_coded/ho_array_ops in grade java FAILED TEST hard_coded/ho_func_default_inst in grade java FAILED TEST hard_coded/ho_float_reg in grade java FAILED TEST hard_coded/ho_func_reg in grade java FAILED TEST hard_coded/ho_order_1 in grade java FAILED TEST hard_coded/ho_order_2 in grade java FAILED TEST hard_coded/ho_solns in grade java FAILED TEST hard_coded/ho_univ_to_type in grade java FAILED TEST hard_coded/if_then_else_expr_state_var in grade java FAILED TEST hard_coded/impl_def_lex in grade java FAILED TEST hard_coded/implication in grade java FAILED TEST hard_coded/impl_def_lex_string in grade java FAILED TEST hard_coded/impossible_unify in grade java FAILED TEST hard_coded/impure_foreign in grade java FAILED TEST hard_coded/impure_init_and_final in grade java FAILED TEST hard_coded/impure_prune in grade java FAILED TEST hard_coded/init_excp in grade java FAILED TEST hard_coded/initialise_decl in grade java FAILED TEST hard_coded/int16_from_bytes in grade java FAILED TEST hard_coded/inst_alias in grade java FAILED TEST hard_coded/int32_from_bytes in grade java FAILED TEST hard_coded/int32_int16_casts in grade java FAILED TEST hard_coded/int32_int8_casts in grade java FAILED TEST hard_coded/int64_from_bytes in grade java FAILED TEST hard_coded/int8_static_data in grade java FAILED TEST hard_coded/int_fold_up_down in grade java FAILED TEST hard_coded/int_impl_imports in grade java FAILED TEST hard_coded/int_range_ops in grade java FAILED TEST hard_coded/int_uenum in grade java FAILED TEST hard_coded/integer_int16_conv in grade java FAILED TEST hard_coded/integer_int32_conv in grade java FAILED TEST hard_coded/integer_int64_conv in grade java FAILED TEST hard_coded/integer_int8_conv in grade java FAILED TEST hard_coded/integer_test in grade java FAILED TEST hard_coded/integer_uint16_conv in grade java FAILED TEST hard_coded/integer_uint32_conv in grade java FAILED TEST hard_coded/integer_uint8_conv in grade java FAILED TEST hard_coded/integer_uint64_conv in grade java FAILED TEST hard_coded/integer_uint_conv in grade java FAILED TEST hard_coded/intermod_c_code in grade java FAILED TEST hard_coded/intermod_foreign_type in grade java FAILED TEST hard_coded/intermod_may_export_body in grade java FAILED TEST hard_coded/intermod_multimode in grade java FAILED TEST hard_coded/intermod_poly_mode in grade java FAILED TEST hard_coded/intermod_pragma_clause in grade java FAILED TEST hard_coded/intermod_try_goal in grade java FAILED TEST hard_coded/intermod_type_qual in grade java FAILED TEST hard_coded/io_globals_deadlock in grade java FAILED TEST hard_coded/java_print_foreign in grade java FAILED TEST hard_coded/intermod_unused_args in grade java FAILED TEST hard_coded/java_rtti_bug in grade java FAILED TEST hard_coded/java_test in grade java FAILED TEST hard_coded/join_list in grade java FAILED TEST hard_coded/lco_double in grade java FAILED TEST hard_coded/lco_mday_bug_1 in grade java FAILED TEST hard_coded/lco_mday_bug_2 in grade java FAILED TEST hard_coded/lco_no_inline in grade java FAILED TEST hard_coded/lco_pack_args_1 in grade java FAILED TEST hard_coded/lco_pack_args_2 in grade java FAILED TEST hard_coded/lco_pack_args_3 in grade java FAILED TEST hard_coded/lco_reorder in grade java FAILED TEST hard_coded/lexer_bigint in grade java FAILED TEST hard_coded/lexer_ints in grade java Mercury/javas/jmercury/lexer_ints.java:32: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:119: error: package mercury_term_lexer does not exist Mercury/javas/jmercury/lexer_ints.java:15: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:16: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:17: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:18: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:19: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:25: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:26: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:26: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:27: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:27: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:28: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:32: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:36: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:52: error: package mercury_term_lexer does not exist Mercury/javas/jmercury/lexer_ints.java:53: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:57: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:63: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:67: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:71: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:71: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:71: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:72: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:72: error: package io.Res_1 does not exist Mercury/javas/jmercury/lexer_ints.java:75: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:80: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:80: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:80: error: package io.Res_1 does not exist Mercury/javas/jmercury/lexer_ints.java:81: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:84: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:88: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:88: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:88: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:89: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:89: error: package io.Maybe_partial_res_1 does not exist Mercury/javas/jmercury/lexer_ints.java:92: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:97: error: package io.Maybe_partial_res_1 does not exist Mercury/javas/jmercury/lexer_ints.java:98: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:98: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:99: error: package mercury_term_lexer does not exist Mercury/javas/jmercury/lexer_ints.java:100: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:103: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:104: error: package mercury_term_lexer does not exist Mercury/javas/jmercury/lexer_ints.java:105: error: package io does not exist Mercury/javas/jmercury/lexer_ints.java:112: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:126: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:127: error: package mercury_term_lexer does not exist Mercury/javas/jmercury/lexer_ints.java:127: error: package mercury_term_lexer.Token_list_0 does not exist Mercury/javas/jmercury/lexer_ints.java:128: error: package mercury_term_lexer.Token_list_0 does not exist Mercury/javas/jmercury/lexer_ints.java:129: error: package mercury_term_lexer does not exist Mercury/javas/jmercury/lexer_ints.java:129: error: package mercury_term_lexer.Token_list_0 does not exist Mercury/javas/jmercury/lexer_ints.java:131: error: package mercury_term_lexer does not exist Mercury/javas/jmercury/lexer_ints.java:134: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:138: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:140: error: cannot find symbol Mercury/javas/jmercury/lexer_ints.java:140: error: package jmercury.runtime does not exist Mercury/javas/jmercury/lexer_ints.java:142: error: cannot find symbol FAILED TEST hard_coded/lexer_zero in grade java FAILED TEST hard_coded/list_series_int in grade java FAILED TEST hard_coded/local_args in grade java FAILED TEST hard_coded/list_split_take_drop in grade java FAILED TEST hard_coded/lookup_switch_simple in grade java FAILED TEST hard_coded/lookup_disj in grade java FAILED TEST hard_coded/lookup_switch_simple_bitvec in grade java FAILED TEST hard_coded/lookup_switch_simple_cond in grade java FAILED TEST hard_coded/lookup_switch_simple_non in grade java FAILED TEST hard_coded/lookup_switch_simple_opt in grade java FAILED TEST hard_coded/loop_inv_test_2 in grade java FAILED TEST hard_coded/loop_inv_test_1 in grade java FAILED TEST hard_coded/loop_inv_test_3 in grade java FAILED TEST hard_coded/loop_inv_test_4 in grade java FAILED TEST hard_coded/map_merge_test in grade java FAILED TEST hard_coded/map_fold in grade java FAILED TEST hard_coded/mapped_module in grade java FAILED TEST hard_coded/map_select_test in grade java FAILED TEST hard_coded/merge_and_remove_dups in grade java FAILED TEST hard_coded/mode_check_clauses in grade java FAILED TEST hard_coded/mode_choice in grade java FAILED TEST hard_coded/multi_arm_switch in grade java FAILED TEST hard_coded/multi_arm_switch_2 in grade java FAILED TEST hard_coded/multimode in grade java FAILED TEST hard_coded/multi_map_test in grade java FAILED TEST hard_coded/multimode_addr in grade java FAILED TEST hard_coded/mutable_excp in grade java FAILED TEST hard_coded/mutable_init_impure in grade java FAILED TEST hard_coded/mutable_init_order in grade java FAILED TEST hard_coded/name_mangling in grade java FAILED TEST hard_coded/myset_test in grade java FAILED TEST hard_coded/no_fully_strict in grade java FAILED TEST hard_coded/no_inline in grade java FAILED TEST hard_coded/no_inline_builtins in grade java FAILED TEST hard_coded/no_warn_singleton in grade java FAILED TEST hard_coded/nondet_copy_out in grade java FAILED TEST hard_coded/nonascii in grade java FAILED TEST hard_coded/nondet_ctrl_vn in grade java FAILED TEST hard_coded/nondet_lambda in grade java FAILED TEST hard_coded/nullary_ho_func in grade java FAILED TEST hard_coded/null_char in grade java FAILED TEST hard_coded/oisu_check_main in grade java FAILED TEST hard_coded/one_member in grade java FAILED TEST hard_coded/only_failing_goal_is_tail_rec in grade java FAILED TEST hard_coded/opt_dup_bug in grade java FAILED TEST hard_coded/opt_format_sign_extend in grade java FAILED TEST hard_coded/opt_format in grade java FAILED TEST hard_coded/pack_args in grade java FAILED TEST hard_coded/pack_args_copy in grade java FAILED TEST hard_coded/pack_args_float in grade java FAILED TEST hard_coded/pack_args_intermod in grade java FAILED TEST hard_coded/pack_int32 in grade java FAILED TEST hard_coded/packed_arg_partial_inst in grade java FAILED TEST hard_coded/parse_number_from_io in grade java FAILED TEST hard_coded/parse_number_from_string in grade java FAILED TEST hard_coded/ppc_bug in grade java FAILED TEST hard_coded/partial_inst_float in grade java FAILED TEST hard_coded/pprint_test_2 in grade java FAILED TEST hard_coded/pprint_test_1 in grade java FAILED TEST hard_coded/pragma_export in grade java FAILED TEST hard_coded/pragma_c_code in grade java FAILED TEST hard_coded/pragma_foreign_export in grade java FAILED TEST hard_coded/pragma_inline in grade java FAILED TEST hard_coded/pretty_printer_stress_test in grade java FAILED TEST hard_coded/pretty_printing in grade java FAILED TEST hard_coded/print_bigint in grade java FAILED TEST hard_coded/print_date in grade java FAILED TEST hard_coded/print_stream in grade java FAILED TEST hard_coded/prince_frameopt in grade java FAILED TEST hard_coded/promise_equiv_with_svars in grade java FAILED TEST hard_coded/profdeep_seg_fault in grade java FAILED TEST hard_coded/promise_equivalent_clauses in grade java FAILED TEST hard_coded/promise_equivalent_solutions_test in grade java FAILED TEST hard_coded/promise_eqv_solns_typeclasses in grade java FAILED TEST hard_coded/psqueue_test in grade java FAILED TEST hard_coded/pure_mutable in grade java FAILED TEST hard_coded/putback_binary_int8 in grade java FAILED TEST hard_coded/putback_binary_uint8 in grade java FAILED TEST hard_coded/puzzle_detism_bug in grade java FAILED TEST hard_coded/qual_basic_test in grade java FAILED TEST hard_coded/qual_adv_test in grade java FAILED TEST hard_coded/qual_is_test in grade java FAILED TEST hard_coded/quantifier_1 in grade java FAILED TEST hard_coded/quantifier_2 in grade java FAILED TEST hard_coded/quoting_bug_test in grade java FAILED TEST hard_coded/random_1 in grade java FAILED TEST hard_coded/ra_list_test in grade java FAILED TEST hard_coded/random_3 in grade java FAILED TEST hard_coded/random_2 in grade java FAILED TEST hard_coded/random_shuffle_1 in grade java FAILED TEST hard_coded/random_shuffle_2 in grade java FAILED TEST hard_coded/rational_test in grade java FAILED TEST hard_coded/read_binary_int16 in grade java FAILED TEST hard_coded/read_binary_int32 in grade java FAILED TEST hard_coded/read_binary_int64 in grade java FAILED TEST hard_coded/read_binary_uint16 in grade java FAILED TEST hard_coded/read_binary_uint32 in grade java FAILED TEST hard_coded/read_bitmap_size in grade java FAILED TEST hard_coded/read_binary_uint64 in grade java FAILED TEST hard_coded/recursive_main in grade java FAILED TEST hard_coded/read_min_int in grade java FAILED TEST hard_coded/redoip_clobber in grade java FAILED TEST hard_coded/remove_file in grade java FAILED TEST hard_coded/reorder_di in grade java FAILED TEST hard_coded/require_scopes in grade java FAILED TEST hard_coded/rev_arith in grade java FAILED TEST hard_coded/reverse_arith in grade java FAILED TEST hard_coded/rnd in grade java FAILED TEST hard_coded/rotate_uint16 in grade java FAILED TEST hard_coded/rotate_uint32 in grade java FAILED TEST hard_coded/rotate_uint64 in grade java FAILED TEST hard_coded/rotate_uint8 in grade java FAILED TEST hard_coded/rtree_test in grade java FAILED TEST hard_coded/rtti_strings in grade java FAILED TEST hard_coded/sectag_bits in grade java FAILED TEST hard_coded/seek_test in grade java FAILED TEST hard_coded/semi_disj in grade java FAILED TEST hard_coded/setjmp_test in grade java FAILED TEST hard_coded/semi_tail_call_in_nonlast_disjunct in grade java FAILED TEST hard_coded/sharing_comb in grade java FAILED TEST hard_coded/shift_test in grade java FAILED TEST hard_coded/simplify_multi_arm_switch in grade java FAILED TEST hard_coded/singleton_dups in grade java FAILED TEST hard_coded/solve_quadratic in grade java FAILED TEST hard_coded/space in grade java FAILED TEST hard_coded/spawn_native in grade java FAILED TEST hard_coded/spawn_native_joinable in grade java FAILED TEST hard_coded/special_char in grade java FAILED TEST hard_coded/stable_sort in grade java FAILED TEST hard_coded/static_no_tag in grade java FAILED TEST hard_coded/static_term_bug in grade java FAILED TEST hard_coded/stdlib_init in grade java FAILED TEST hard_coded/stream_ignore_ws in grade java FAILED TEST hard_coded/stream_format in grade java FAILED TEST hard_coded/stream_put_bug in grade java FAILED TEST hard_coded/stream_putback in grade java FAILED TEST hard_coded/stream_putback_binary in grade java FAILED TEST hard_coded/stream_string_writer_types in grade java FAILED TEST hard_coded/string_alignment in grade java FAILED TEST hard_coded/stream_test in grade java FAILED TEST hard_coded/string_all_match in grade java FAILED TEST hard_coded/string_alignment_bug in grade java FAILED TEST hard_coded/string_append_iii in grade java FAILED TEST hard_coded/string_append_ioi in grade java FAILED TEST hard_coded/string_append_ooi in grade java FAILED TEST hard_coded/string_append_ooi_ilseq in grade java FAILED TEST hard_coded/string_append_pieces in grade java FAILED TEST hard_coded/string_builder_test in grade java FAILED TEST hard_coded/string_char_list_ilseq in grade java FAILED TEST hard_coded/string_case in grade java FAILED TEST hard_coded/string_code_unit in grade java FAILED TEST hard_coded/string_class in grade java FAILED TEST hard_coded/string_codepoint_offset_ilseq in grade java FAILED TEST hard_coded/string_codepoint in grade java FAILED TEST hard_coded/string_contains_char in grade java FAILED TEST hard_coded/string_compare_substrings in grade java FAILED TEST hard_coded/string_count_codepoints_ilseq in grade java FAILED TEST hard_coded/string_contains_match in grade java FAILED TEST hard_coded/string_first_char in grade java FAILED TEST hard_coded/string_find_char in grade java FAILED TEST hard_coded/string_first_char_ilseq in grade java FAILED TEST hard_coded/string_fold_ilseq in grade java FAILED TEST hard_coded/string_from_char_list_ilseq in grade java FAILED TEST hard_coded/string_from_code_unit_list in grade java FAILED TEST hard_coded/string_index_ilseq in grade java FAILED TEST hard_coded/string_index_next_ilseq in grade java FAILED TEST hard_coded/string_loop in grade java FAILED TEST hard_coded/string_not_surrogate in grade java FAILED TEST hard_coded/string_prev_index_ilseq in grade java FAILED TEST hard_coded/string_presuffix in grade java FAILED TEST hard_coded/string_set_char in grade java FAILED TEST hard_coded/string_set_char_ilseq in grade java FAILED TEST hard_coded/string_split_2 in grade java FAILED TEST hard_coded/string_split_1 in grade java FAILED TEST hard_coded/string_string in grade java FAILED TEST hard_coded/string_strip in grade java FAILED TEST hard_coded/string_sub_string_search in grade java FAILED TEST hard_coded/string_substring in grade java FAILED TEST hard_coded/string_suffix_bug in grade java FAILED TEST hard_coded/string_switch_1 in grade java FAILED TEST hard_coded/string_switch_2 in grade java FAILED TEST hard_coded/string_switch_3 in grade java FAILED TEST hard_coded/string_to_float_overflow in grade java FAILED TEST hard_coded/string_switch_4 in grade java FAILED TEST hard_coded/string_various in grade java FAILED TEST hard_coded/string_well_formed in grade java FAILED TEST hard_coded/string_well_formed_utf8 in grade java FAILED TEST hard_coded/subtype_abstract in grade java FAILED TEST hard_coded/subtype_field_names in grade java FAILED TEST hard_coded/subtype_order in grade java FAILED TEST hard_coded/subtype_pack in grade java FAILED TEST hard_coded/subtype_rtti in grade java FAILED TEST hard_coded/subtype_user_compare in grade java FAILED TEST hard_coded/sv_nested_closures in grade java FAILED TEST hard_coded/sv_record_update in grade java FAILED TEST hard_coded/switch_detect in grade java FAILED TEST hard_coded/system_sort in grade java FAILED TEST hard_coded/tag_switch_dup_label in grade java FAILED TEST hard_coded/tail_rec_scc in grade java FAILED TEST hard_coded/take_split_upto in grade java FAILED TEST hard_coded/tautological_compare in grade java FAILED TEST hard_coded/term_io_test in grade java FAILED TEST hard_coded/term_to_univ_test in grade java FAILED TEST hard_coded/test234_sorted_insert in grade java FAILED TEST hard_coded/test_array2d in grade java FAILED TEST hard_coded/test_bag in grade java FAILED TEST hard_coded/test_builder_format in grade java FAILED TEST hard_coded/test_bitsets in grade java FAILED TEST hard_coded/test_char_digits in grade java FAILED TEST hard_coded/test_cord_1 in grade java FAILED TEST hard_coded/test_cord_2 in grade java FAILED TEST hard_coded/test_cord_3 in grade java FAILED TEST hard_coded/test_imported_no_tag in grade java FAILED TEST hard_coded/test_infinity in grade java FAILED TEST hard_coded/test_int_hash in grade java FAILED TEST hard_coded/test_injection in grade java FAILED TEST hard_coded/test_java_foreign_primitive in grade java FAILED TEST hard_coded/test_keys_and_values in grade java FAILED TEST hard_coded/test_map_filter in grade java FAILED TEST hard_coded/test_one_or_more in grade java FAILED TEST hard_coded/test_one_or_more_chunk in grade java FAILED TEST hard_coded/test_pretty_printer in grade java FAILED TEST hard_coded/test_pretty_printer_defaults in grade java FAILED TEST hard_coded/test_ranges in grade java FAILED TEST hard_coded/test_semaphore in grade java FAILED TEST hard_coded/test_split_switch_arms in grade java FAILED TEST hard_coded/test_yield in grade java FAILED TEST hard_coded/thread_barrier_test in grade java FAILED TEST hard_coded/thread_commit in grade java FAILED TEST hard_coded/tim_qual in grade java FAILED TEST hard_coded/thread_sbrk in grade java FAILED TEST hard_coded/time_test in grade java FAILED TEST hard_coded/trace_goal_1 in grade java FAILED TEST hard_coded/trace_goal_2 in grade java FAILED TEST hard_coded/trace_goal_3 in grade java FAILED TEST hard_coded/trace_goal_4 in grade java FAILED TEST hard_coded/trace_goal_env_1 in grade java FAILED TEST hard_coded/trace_goal_env_3 in grade java FAILED TEST hard_coded/trace_goal_env_2 in grade java FAILED TEST hard_coded/transform_value in grade java FAILED TEST hard_coded/trace_goal_opt in grade java FAILED TEST hard_coded/transitive_inst_type in grade java FAILED TEST hard_coded/trigraphs in grade java FAILED TEST hard_coded/try_syntax_2 in grade java FAILED TEST hard_coded/try_syntax_1 in grade java FAILED TEST hard_coded/try_syntax_3 in grade java FAILED TEST hard_coded/try_syntax_4 in grade java FAILED TEST hard_coded/try_syntax_5 in grade java FAILED TEST hard_coded/try_syntax_6 in grade java FAILED TEST hard_coded/try_syntax_7 in grade java FAILED TEST hard_coded/tuple_test_1 in grade java FAILED TEST hard_coded/tuple_test_2 in grade java FAILED TEST hard_coded/type_ctor_desc in grade java FAILED TEST hard_coded/type_ctor_desc_manip in grade java FAILED TEST hard_coded/type_info_const_inst in grade java FAILED TEST hard_coded/type_info_order in grade java FAILED TEST hard_coded/type_qual in grade java FAILED TEST hard_coded/type_spec_modes in grade java FAILED TEST hard_coded/type_spec_ho_term in grade java FAILED TEST hard_coded/type_to_term_bug in grade java FAILED TEST hard_coded/type_to_term in grade java FAILED TEST hard_coded/uc_export_enum in grade java FAILED TEST hard_coded/uint16_from_bytes in grade java FAILED TEST hard_coded/uint16_switch_test in grade java FAILED TEST hard_coded/uint16_to_string in grade java FAILED TEST hard_coded/uint32_from_bytes in grade java FAILED TEST hard_coded/uint16_uint8_casts in grade java FAILED TEST hard_coded/uint32_switch_test in grade java FAILED TEST hard_coded/uint32_to_string in grade java FAILED TEST hard_coded/uint32_to_uint64 in grade java FAILED TEST hard_coded/uint32_uint16_casts in grade java FAILED TEST hard_coded/uint64_from_bytes in grade java FAILED TEST hard_coded/uint32_uint8_casts in grade java FAILED TEST hard_coded/uint64_ground_term in grade java FAILED TEST hard_coded/uint64_string_conv in grade java FAILED TEST hard_coded/uint64_switch_test in grade java FAILED TEST hard_coded/uint64_to_string in grade java FAILED TEST hard_coded/uint8_switch_test in grade java FAILED TEST hard_coded/uint64_uint8_casts in grade java FAILED TEST hard_coded/uint8_to_string in grade java FAILED TEST hard_coded/uint_arith in grade java FAILED TEST hard_coded/uint_string_conv in grade java FAILED TEST hard_coded/uint_switch_test in grade java FAILED TEST hard_coded/uncond_reuse_bad in grade java FAILED TEST hard_coded/unicode_test in grade java FAILED TEST hard_coded/unify_expression in grade java FAILED TEST hard_coded/unify_existq_cons in grade java FAILED TEST hard_coded/uniq_duplicate_call in grade java FAILED TEST hard_coded/unify_typeinfo_bug in grade java FAILED TEST hard_coded/unsigned_lt_le in grade java FAILED TEST hard_coded/unsorted_agg2 in grade java FAILED TEST hard_coded/unusual_name_mutable in grade java FAILED TEST hard_coded/unused_float_box_test in grade java FAILED TEST hard_coded/uo_regression1 in grade java FAILED TEST hard_coded/user_compare in grade java FAILED TEST hard_coded/user_defined_equality2 in grade java FAILED TEST hard_coded/user_defined_equality in grade java FAILED TEST hard_coded/value_enum in grade java FAILED TEST hard_coded/utf8_io in grade java FAILED TEST hard_coded/version_hash_table_delete in grade java FAILED TEST hard_coded/version_array_test in grade java FAILED TEST hard_coded/version_hash_table_test_1 in grade java FAILED TEST hard_coded/version_hash_table_test_2 in grade java FAILED TEST hard_coded/word_aligned_pointer in grade java FAILED TEST hard_coded/words_separator in grade java FAILED TEST hard_coded/write_array in grade java FAILED TEST hard_coded/write in grade java FAILED TEST hard_coded/write_binary_int8 in grade java FAILED TEST hard_coded/write_binary in grade java FAILED TEST hard_coded/write_binary_multibyte_int in grade java FAILED TEST hard_coded/write_binary_uint8 in grade java FAILED TEST hard_coded/write_float_special in grade java FAILED TEST hard_coded/write_binary_utf8 in grade java FAILED TEST hard_coded/write_reg_2 in grade java FAILED TEST hard_coded/write_reg_1 in grade java FAILED TEST hard_coded/write_xml in grade java FAILED TEST hard_coded/xmlable_test in grade java FAILED TEST hard_coded/zinc_pack_bug in grade java FAILED TEST invalid/bad_exported_mode in grade java FAILED TEST invalid/bad_fact_table_data-nodepend in grade java FAILED TEST invalid/bad_fact_table_decls-nodepend in grade java FAILED TEST invalid/bug150_bad_color-nodepend in grade java FAILED TEST invalid/exist_foreign_error-nodepend in grade java FAILED TEST invalid/exported_foreign_enum-nodepend in grade java FAILED TEST invalid/exported_unify in grade java FAILED TEST invalid/foreign_procs_exist_type-nodepend in grade java FAILED TEST invalid/foreign_type_2-nodepend in grade java FAILED TEST invalid/foreign_type_visibility-nodepend in grade java FAILED TEST invalid/gh72_errors-nodepend in grade java FAILED TEST invalid/illtyped_compare-nodepend in grade java FAILED TEST invalid/instances_pc.instances_pc_helper_1 in grade java FAILED TEST invalid/invalid_mllibs-nodepend in grade java FAILED TEST invalid/pragma_c_code_dup_var-nodepend in grade java FAILED TEST invalid/pragma_c_code_no_det-nodepend in grade java FAILED TEST invalid/subtype_foreign_supertype_2-nodepend in grade java FAILED TEST invalid/test_may_duplicate-nodepend in grade java FAILED TEST invalid/test_may_export_body-nodepend in grade java FAILED TEST invalid_nodepend/fundeps_vars-nodepend in grade java FAILED TEST invalid_nodepend/require_tailrec_invalid-nodepend in grade java FAILED TEST invalid_nodepend/unicode_1-nodepend in grade java FAILED TEST invalid_nodepend/unicode_2-nodepend in grade java FAILED TEST invalid_nodepend/where_direct_arg_2-nodepend in grade java make[3]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. mercury_compile: error: the Mercury standard library cannot be found in grade FAILED TEST mmc_make/bug489 in grade java FAILED TEST mmc_make/hello in grade java FAILED TEST mmc_make/include_file in grade java make[3]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. mercury_compile: error: the Mercury standard library cannot be found in grade FAILED TEST mmc_make/include_file2 in grade java FAILED TEST mmc_make/rebuild in grade java FAILED TEST mmc_make/complex_test in grade java FAILED TEST mmc_make/linkage_test in grade java FAILED TEST par_conj/bug_130_unreachable in grade java FAILED TEST par_conj/bug_130_should_push_signal in grade java FAILED TEST par_conj/consume_in_some_branches in grade java FAILED TEST par_conj/consume_in_some_branches_and_after in grade java FAILED TEST par_conj/dep_par_1 in grade java FAILED TEST par_conj/consume_wait in grade java FAILED TEST par_conj/dep_par_10 in grade java FAILED TEST par_conj/dep_par_11 in grade java FAILED TEST par_conj/dep_par_11b in grade java FAILED TEST par_conj/dep_par_11c in grade java FAILED TEST par_conj/dep_par_12 in grade java FAILED TEST par_conj/dep_par_11d in grade java FAILED TEST par_conj/dep_par_13 in grade java FAILED TEST par_conj/dep_par_14 in grade java FAILED TEST par_conj/dep_par_14b in grade java FAILED TEST par_conj/dep_par_14d in grade java FAILED TEST par_conj/dep_par_14c in grade java FAILED TEST par_conj/dep_par_17 in grade java FAILED TEST par_conj/dep_par_16 in grade java FAILED TEST par_conj/dep_par_18 in grade java FAILED TEST par_conj/dep_par_2 in grade java FAILED TEST par_conj/dep_par_20 in grade java FAILED TEST par_conj/dep_par_21 in grade java FAILED TEST par_conj/dep_par_22 in grade java FAILED TEST par_conj/dep_par_23 in grade java FAILED TEST par_conj/dep_par_24 in grade java FAILED TEST par_conj/dep_par_24b in grade java FAILED TEST par_conj/dep_par_25b in grade java FAILED TEST par_conj/dep_par_25 in grade java FAILED TEST par_conj/dep_par_26 in grade java FAILED TEST par_conj/dep_par_27 in grade java FAILED TEST par_conj/dep_par_28 in grade java FAILED TEST par_conj/dep_par_29 in grade java FAILED TEST par_conj/dep_par_3 in grade java FAILED TEST par_conj/dep_par_3b in grade java FAILED TEST par_conj/dep_par_4 in grade java FAILED TEST par_conj/dep_par_3c in grade java FAILED TEST par_conj/dep_par_5 in grade java FAILED TEST par_conj/dep_par_5b in grade java FAILED TEST par_conj/dep_par_5c in grade java FAILED TEST par_conj/dep_par_5d in grade java FAILED TEST par_conj/dep_par_6 in grade java FAILED TEST par_conj/dep_par_6b in grade java FAILED TEST par_conj/dep_par_7 in grade java FAILED TEST par_conj/dep_par_8 in grade java FAILED TEST par_conj/dep_par_9 in grade java FAILED TEST par_conj/indep_par_append in grade java FAILED TEST par_conj/impure_wait in grade java FAILED TEST par_conj/indep_par_nested in grade java FAILED TEST par_conj/par_fib in grade java FAILED TEST par_conj/pathological_right_recursion in grade java FAILED TEST par_conj/produce_in_nondet_disj in grade java FAILED TEST par_conj/threads_hang in grade java FAILED TEST purity/impure_func_t1 in grade java FAILED TEST purity/impure_func_t5_fixed2 in grade java FAILED TEST purity/impure_func_t6 in grade java FAILED TEST purity/impure_pred_t1_fixed3 in grade java FAILED TEST purity/promise_pure_test in grade java FAILED TEST purity/purity in grade java FAILED TEST purity/purity_opt in grade java FAILED TEST recompilation/add_constructor_nr-nodepend in grade java FAILED TEST recompilation/add_constructor_r-nodepend in grade java FAILED TEST recompilation/add_instance_2_r-nodepend in grade java FAILED TEST recompilation/add_instance_r-nodepend in grade java FAILED TEST recompilation/add_type_nr-nodepend in grade java FAILED TEST recompilation/add_type_re-nodepend in grade java FAILED TEST recompilation/change_class_r-nodepend in grade java FAILED TEST recompilation/change_func_r-nodepend in grade java FAILED TEST recompilation/change_instance_r-nodepend in grade java FAILED TEST recompilation/change_mode_r-nodepend in grade java FAILED TEST recompilation/change_type_nr-nodepend in grade java FAILED TEST recompilation/combined_type_mode_nr-nodepend in grade java FAILED TEST recompilation/field_r-nodepend in grade java FAILED TEST recompilation/func_overloading_nr-nodepend in grade java FAILED TEST recompilation/func_overloading_r-nodepend in grade java FAILED TEST recompilation/lambda_mode_r-nodepend in grade java FAILED TEST recompilation/nested_module_2_r-nodepend in grade java FAILED TEST recompilation/nested_module_r-nodepend in grade java FAILED TEST recompilation/no_version_numbers_r-nodepend in grade java FAILED TEST recompilation/pragma_type_spec_r-nodepend in grade java FAILED TEST recompilation/pred_ctor_ambiguity_r-nodepend in grade java FAILED TEST recompilation/pred_overloading_r-nodepend in grade java FAILED TEST recompilation/remove_type_re-nodepend in grade java FAILED TEST recompilation/type_qual_re-nodepend in grade java FAILED TEST recompilation/type_spec_rename_var_r-nodepend in grade java FAILED TEST recompilation/type_spec_unname_var_r-nodepend in grade java FAILED TEST recompilation/typeclass_method_pragma_r-nodepend in grade java FAILED TEST recompilation/unchanged_pred_nr-nodepend in grade java FAILED TEST recompilation/unchanged_with_type_nr-nodepend in grade java FAILED TEST recompilation/with_type_re-nodepend in grade java FAILED TEST string_format/string_format_c in grade java FAILED TEST string_format/string_format_d in grade java FAILED TEST string_format/string_format_e in grade java FAILED TEST string_format/string_format_f in grade java FAILED TEST string_format/string_format_g in grade java FAILED TEST string_format/string_format_int64_d in grade java FAILED TEST string_format/string_format_int64_o in grade java FAILED TEST string_format/string_format_int64_u in grade java FAILED TEST string_format/string_format_int64_x in grade java FAILED TEST string_format/string_format_o in grade java FAILED TEST string_format/string_format_s in grade java FAILED TEST string_format/string_format_u in grade java FAILED TEST string_format/string_format_uint64_o in grade java FAILED TEST string_format/string_format_uint64_u in grade java FAILED TEST string_format/string_format_uint64_x in grade java FAILED TEST string_format/string_format_uint_o in grade java FAILED TEST string_format/string_format_uint_u in grade java FAILED TEST string_format/string_format_uint_x in grade java FAILED TEST string_format/string_format_x in grade java FAILED TEST submodules/accessibility_t1 in grade java FAILED TEST submodules/accessibility_t2 in grade java FAILED TEST submodules/backquoted_qualified_ops in grade java FAILED TEST submodules/class in grade java FAILED TEST submodules/daf_bug in grade java FAILED TEST submodules/deeply_nested in grade java FAILED TEST submodules/direct_arg_cyclic in grade java FAILED TEST submodules/direct_arg_intermod in grade java FAILED TEST submodules/direct_arg_parent in grade java FAILED TEST submodules/dot_separator in grade java FAILED TEST submodules/external_unification_pred in grade java FAILED TEST submodules/finalise_parent in grade java FAILED TEST submodules/g12_fe_bug in grade java FAILED TEST submodules/impl_def_literal in grade java FAILED TEST submodules/initialise_parent in grade java FAILED TEST submodules/mutable_parent in grade java FAILED TEST submodules/nested_intermod in grade java FAILED TEST submodules/nested_t1 in grade java FAILED TEST submodules/nested_t2 in grade java FAILED TEST submodules/nested_t3 in grade java FAILED TEST submodules/non_word_mutable in grade java FAILED TEST submodules/parent_t1 in grade java FAILED TEST submodules/parent_t2 in grade java FAILED TEST submodules/sm_exp_bug in grade java FAILED TEST submodules/use_submodule in grade java FAILED TEST typeclasses/abstract_instance in grade java FAILED TEST typeclasses/abstract_typeclass in grade java FAILED TEST typeclasses/arbitrary_constraint_pred_1 in grade java FAILED TEST typeclasses/arbitrary_constraint_class in grade java FAILED TEST typeclasses/arbitrary_constraint_pred_2 in grade java FAILED TEST typeclasses/complicated_constraint in grade java FAILED TEST typeclasses/complicated_fundeps in grade java FAILED TEST typeclasses/constrained_lambda in grade java FAILED TEST typeclasses/exist_disjunction in grade java FAILED TEST typeclasses/existential_data_types in grade java FAILED TEST typeclasses/existential_data_types_regr_test in grade java FAILED TEST typeclasses/existential_type_classes in grade java FAILED TEST typeclasses/existential_type_switch in grade java FAILED TEST typeclasses/extra_typeinfo in grade java FAILED TEST typeclasses/extract_typeinfo in grade java FAILED TEST typeclasses/extract_typeinfo2 in grade java FAILED TEST typeclasses/func_default_mode_bug in grade java FAILED TEST typeclasses/fundeps_1 in grade java FAILED TEST typeclasses/fundeps_2 in grade java FAILED TEST typeclasses/fundeps_3 in grade java FAILED TEST typeclasses/fundeps_5 in grade java FAILED TEST typeclasses/fundeps_4 in grade java FAILED TEST typeclasses/fundeps_6 in grade java FAILED TEST typeclasses/fundeps_7 in grade java FAILED TEST typeclasses/ground_constraint_2 in grade java FAILED TEST typeclasses/ground_constraint_1 in grade java FAILED TEST typeclasses/implied_instance in grade java FAILED TEST typeclasses/ho_map in grade java FAILED TEST typeclasses/implied_instance_multi_constraint in grade java FAILED TEST typeclasses/implied_instance_missing_constraint in grade java FAILED TEST typeclasses/implied_instance_poly in grade java FAILED TEST typeclasses/impure_methods in grade java FAILED TEST typeclasses/inference_test_1 in grade java FAILED TEST typeclasses/inference_test_2 in grade java FAILED TEST typeclasses/instance_clauses in grade java FAILED TEST typeclasses/instance_unconstrained_tvar in grade java FAILED TEST typeclasses/instance_unconstrained_tvar_type_spec in grade java FAILED TEST typeclasses/instance_unconstrained_tvar_dup in grade java FAILED TEST typeclasses/lambda_multi_constraint_same_tvar in grade java FAILED TEST typeclasses/intermod_typeclass_bug in grade java FAILED TEST typeclasses/mode_decl_order_bug in grade java FAILED TEST typeclasses/module_test in grade java FAILED TEST typeclasses/multi_constraint_diff_tvar in grade java FAILED TEST typeclasses/multi_constraint_same_tvar in grade java FAILED TEST typeclasses/multi_moded in grade java FAILED TEST typeclasses/multi_parameter in grade java FAILED TEST typeclasses/multi_parameter_bug in grade java FAILED TEST typeclasses/nondet_class_method in grade java FAILED TEST typeclasses/no_fundep_infer in grade java FAILED TEST typeclasses/operator_classname in grade java FAILED TEST typeclasses/record_syntax in grade java FAILED TEST typeclasses/reordered_existential_constraint in grade java FAILED TEST typeclasses/submodule_consistency in grade java FAILED TEST typeclasses/superclass_bug_1 in grade java FAILED TEST typeclasses/superclass_bug_2 in grade java FAILED TEST typeclasses/superclass_bug_3 in grade java FAILED TEST typeclasses/test_default_func_mode in grade java FAILED TEST typeclasses/superclass_call in grade java FAILED TEST typeclasses/tuple_instance in grade java FAILED TEST typeclasses/type_spec in grade java FAILED TEST typeclasses/typeclass_exist_method_1 in grade java FAILED TEST typeclasses/typeclass_exist_method_2 in grade java FAILED TEST typeclasses/typeclass_order_bug_1 in grade java FAILED TEST typeclasses/typeclass_order_bug_2 in grade java FAILED TEST typeclasses/typeclass_test_5 in grade java FAILED TEST typeclasses/typeclass_order_bug_3 in grade java FAILED TEST typeclasses/typeclass_test_6 in grade java FAILED TEST typeclasses/unbound_tvar in grade java FAILED TEST typeclasses/unqualified_method in grade java FAILED TEST valid/abstract_typeclass in grade java FAILED TEST valid/any_inst_merge in grade java FAILED TEST valid/big_foreign_type in grade java FAILED TEST valid/bug128 in grade java FAILED TEST valid/bug134 in grade java FAILED TEST valid/bug142 in grade java FAILED TEST valid/bug159 in grade java FAILED TEST valid/bug180 in grade java FAILED TEST valid/bug183 in grade java FAILED TEST valid/bug190 in grade java FAILED TEST valid/bug271 in grade java FAILED TEST valid/bug300 in grade java FAILED TEST valid/bug318 in grade java FAILED TEST valid/bug301 in grade java FAILED TEST valid/bug380 in grade java FAILED TEST valid/bug361 in grade java FAILED TEST valid/bug402 in grade java FAILED TEST valid/bug414 in grade java FAILED TEST valid/bug429 in grade java FAILED TEST valid/bug457 in grade java FAILED TEST valid/bug480 in grade java FAILED TEST valid/bug481 in grade java FAILED TEST valid/bug480a in grade java FAILED TEST valid/bug486 in grade java FAILED TEST valid/bug493 in grade java FAILED TEST valid/bug51 in grade java FAILED TEST valid/bug539 in grade java FAILED TEST valid/bug512 in grade java FAILED TEST valid/bug544 in grade java FAILED TEST valid/bug572 in grade java FAILED TEST valid/bug85 in grade java FAILED TEST valid/call_failure in grade java FAILED TEST valid/builtin_false in grade java FAILED TEST valid/common_struct_bug in grade java FAILED TEST valid/compl_unify_bug in grade java FAILED TEST valid/complete_int8_switch in grade java FAILED TEST valid/complete_uint8_switch in grade java FAILED TEST valid/complex_constraint in grade java FAILED TEST valid/complicated_unify in grade java FAILED TEST valid/constr_inst_syntax in grade java FAILED TEST valid/constrained_poly_bound_arg in grade java FAILED TEST valid/constrained_poly_insts in grade java FAILED TEST valid/constrained_poly_multi in grade java FAILED TEST valid/constraint_prop_bug in grade java FAILED TEST valid/constructor_arg_names in grade java FAILED TEST valid/cse_unique in grade java FAILED TEST valid/dead_get_io_state in grade java FAILED TEST valid/deforest_bug in grade java FAILED TEST valid/deforest_rerun_det in grade java FAILED TEST valid/deforest_loop in grade java FAILED TEST valid/det_string_switch in grade java FAILED TEST valid/det_switch in grade java FAILED TEST valid/easy_nondet_test in grade java FAILED TEST valid/dupelim_mkword_hole in grade java FAILED TEST valid/easy_nondet_test_2 in grade java FAILED TEST valid/empty_bound_inst_list in grade java FAILED TEST valid/equiv_solns_ia in grade java FAILED TEST valid/eval in grade java FAILED TEST valid/existential_cons in grade java FAILED TEST valid/exists_bug in grade java FAILED TEST valid/exists_dummy in grade java FAILED TEST valid/exists_fundeps_1 in grade java FAILED TEST valid/exists_fundeps_2 in grade java FAILED TEST valid/exists_fundeps_3 in grade java FAILED TEST valid/explicit_quant in grade java FAILED TEST valid/export_before_func in grade java FAILED TEST valid/fail_ite in grade java FAILED TEST valid/file_stream_instances in grade java FAILED TEST valid/flatten_conj_bug in grade java FAILED TEST valid/foreign_underscore_var in grade java FAILED TEST valid/func_in_head in grade java FAILED TEST valid/func_default_modes in grade java FAILED TEST valid/fundeps in grade java FAILED TEST valid/func_method in grade java FAILED TEST valid/fundeps_poly_instance in grade java FAILED TEST valid/gh65 in grade java FAILED TEST valid/gh98 in grade java FAILED TEST valid/gh89 in grade java FAILED TEST valid/github_50 in grade java FAILED TEST valid/hawkins_switch_bug in grade java FAILED TEST valid/headvar_not_found in grade java FAILED TEST valid/higher_order_1 in grade java FAILED TEST valid/higher_order_2 in grade java FAILED TEST valid/higher_order_3 in grade java FAILED TEST valid/higher_order_4 in grade java FAILED TEST valid/higher_order_5 in grade java FAILED TEST valid/higher_order_implied_mode in grade java FAILED TEST valid/ho_and_type_spec_bug in grade java FAILED TEST valid/ho_and_type_spec_bug2 in grade java FAILED TEST valid/ho_inst in grade java FAILED TEST valid/ho_func_call_2 in grade java FAILED TEST valid/ho_unify in grade java FAILED TEST valid/implied_mode_no_tag in grade java FAILED TEST valid/impure_lambda_bug in grade java FAILED TEST valid/indexing in grade java FAILED TEST valid/inlining_bug in grade java FAILED TEST valid/inst_for_char_type in grade java FAILED TEST valid/inst_perf_bug_1 in grade java FAILED TEST valid/instance_dup_var in grade java FAILED TEST valid/instance_superclass in grade java FAILED TEST valid/inst_perf_bug_2 in grade java FAILED TEST valid/instance_typequal in grade java FAILED TEST valid/instance_unconstrained_tvar in grade java FAILED TEST valid/instmap_generic_failure in grade java FAILED TEST valid/int_imp_test in grade java FAILED TEST valid/lambda_inference in grade java FAILED TEST valid/lambda_instmap_bug_1 in grade java FAILED TEST valid/lambda_instmap_bug_2 in grade java FAILED TEST valid/lambda_output in grade java FAILED TEST valid/lambda_quant in grade java FAILED TEST valid/lambda_quant_bug in grade java FAILED TEST valid/lambda_recompute in grade java FAILED TEST valid/lambda_struct_bug in grade java FAILED TEST valid/lambda_switch in grade java FAILED TEST valid/lazy_list in grade java FAILED TEST valid/lco_term in grade java FAILED TEST valid/liveness_nonlocals in grade java FAILED TEST valid/livevals_seq in grade java FAILED TEST valid/logged_stream in grade java FAILED TEST valid/loop in grade java FAILED TEST valid/loop_inv_bug in grade java FAILED TEST valid/mark_static_bug in grade java FAILED TEST valid/mc_bag in grade java FAILED TEST valid/mc_extra_nonlocals in grade java FAILED TEST valid/mc_graph in grade java FAILED TEST valid/mc_hhf_nonlocals_bug in grade java FAILED TEST valid/mc_implied_modes in grade java FAILED TEST valid/merge_ground_any in grade java FAILED TEST valid/middle_rec_labels in grade java FAILED TEST valid/mert in grade java FAILED TEST valid/mode_syntax in grade java FAILED TEST valid/modes_bug in grade java FAILED TEST valid/mostly_uniq_bug in grade java FAILED TEST valid/mostly_uniq_mode_inf in grade java FAILED TEST valid/mpj_2 in grade java FAILED TEST valid/mostly_uniq_neg in grade java FAILED TEST valid/mpj_5 in grade java FAILED TEST valid/mpj_6 in grade java FAILED TEST valid/multidet_prune in grade java FAILED TEST valid/mpj_7 in grade java FAILED TEST valid/multidet_test in grade java FAILED TEST valid/mutual_tailrec_outputs in grade java FAILED TEST valid/nasty_func_test in grade java FAILED TEST valid/neg_erroneous in grade java FAILED TEST valid/negation_in_dupl_for_switch in grade java FAILED TEST valid/no_warn_format_imports in grade java FAILED TEST valid/new_getopt_io in grade java FAILED TEST valid/no_warn_unresolved_poly in grade java FAILED TEST valid/nondet_live in grade java FAILED TEST valid/overloading in grade java FAILED TEST valid/par_dummy in grade java FAILED TEST valid/par_dupelim in grade java FAILED TEST valid/par_saved_const in grade java FAILED TEST valid/param_mode_bug in grade java FAILED TEST valid/preferred_switch_var in grade java FAILED TEST valid/promise_equiv_exists_non_local in grade java FAILED TEST valid/qualified_cons_id in grade java FAILED TEST valid/quantifier_warning in grade java FAILED TEST valid/record_syntax_bug_2 in grade java FAILED TEST valid/record_syntax_bug_1 in grade java FAILED TEST valid/record_syntax_bug_3 in grade java FAILED TEST valid/record_syntax_bug_4 in grade java FAILED TEST valid/record_syntax_bug_5 in grade java FAILED TEST valid/recursive_no_tag_type in grade java FAILED TEST valid/reg_bug in grade java FAILED TEST valid/repeated_class_constraint in grade java FAILED TEST valid/require_bug in grade java FAILED TEST valid/require_tailrec_1 in grade java FAILED TEST valid/require_tailrec_3 in grade java FAILED TEST valid/require_tailrec_2 in grade java require_tailrec_3.m:064: warning: the code defining this function contains [38;5;203mno[39;49m require_tailrec_3.m:078: warning: mutually recursive call to function require_tailrec_3.m:095: warning: mutually recursive call to function Mercury/javas/jmercury/require_tailrec_3.java:18: error: package jmercury.runtime does not exist Mercury/javas/jmercury/require_tailrec_3.java:19: error: package jmercury.runtime does not exist Mercury/javas/jmercury/require_tailrec_3.java:21: error: package list does not exist Mercury/javas/jmercury/require_tailrec_3.java:54: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:88: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:122: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:144: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:166: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:182: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:198: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:221: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:33: error: package list.List_1 does not exist Mercury/javas/jmercury/require_tailrec_3.java:34: error: package list does not exist Mercury/javas/jmercury/require_tailrec_3.java:34: error: package list.List_1 does not exist Mercury/javas/jmercury/require_tailrec_3.java:36: error: package jmercury.runtime does not exist Mercury/javas/jmercury/require_tailrec_3.java:36: error: package jmercury.runtime does not exist Mercury/javas/jmercury/require_tailrec_3.java:37: error: package list does not exist Mercury/javas/jmercury/require_tailrec_3.java:41: error: package jmercury.runtime does not exist Mercury/javas/jmercury/require_tailrec_3.java:61: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:65: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:74: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:95: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:99: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:108: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:127: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:130: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:149: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:152: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:171: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:174: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:187: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:190: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:203: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:206: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:209: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:215: error: cannot find symbol Mercury/javas/jmercury/require_tailrec_3.java:226: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:229: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:232: error: package bool does not exist Mercury/javas/jmercury/require_tailrec_3.java:238: error: cannot find symbol ERROR OUTPUT require_tailrec_3.m:064: warning: the code defining this function contains [38;5;203mno[39;49m require_tailrec_3.m:078: warning: mutually recursive call to function require_tailrec_3.m:095: warning: mutually recursive call to function FAILED TEST valid/required_var in grade java FAILED TEST valid/reuse_static_1 in grade java FAILED TEST valid/reuse_static_2 in grade java FAILED TEST valid/sharing_exist in grade java FAILED TEST valid/shape_type in grade java FAILED TEST valid/sharing_loop_1 in grade java FAILED TEST valid/sharing_loop_2 in grade java FAILED TEST valid/simplify_bug_1 in grade java FAILED TEST valid/sharing_loop_3 in grade java FAILED TEST valid/size_prof_ho_bug in grade java FAILED TEST valid/simplify_bug_2 in grade java FAILED TEST valid/soln_context in grade java FAILED TEST valid/solver_type_bug_1 in grade java FAILED TEST valid/some_switch in grade java FAILED TEST valid/spurious_purity_warning in grade java FAILED TEST valid/stack_alloc in grade java FAILED TEST valid/stack_opt_simplify in grade java FAILED TEST valid/state_var_bug in grade java FAILED TEST valid/state_var_mode_bug_1 in grade java FAILED TEST valid/state_var_mode_bug_2 in grade java FAILED TEST valid/string_format_in_instance in grade java FAILED TEST valid/static in grade java FAILED TEST valid/subtype_basic in grade java FAILED TEST valid/subtype_switch in grade java FAILED TEST valid/superclass_bug in grade java FAILED TEST valid/superclass_improvement in grade java FAILED TEST valid/switch_detection_bug_1 in grade java FAILED TEST valid/switch_detection_bug_2 in grade java FAILED TEST valid/switches in grade java FAILED TEST valid/table_aux_preds_erlang in grade java FAILED TEST valid/tabled_io in grade java FAILED TEST valid/tci_spec_varmap in grade java FAILED TEST valid/trace_goal_reorder in grade java FAILED TEST valid/time_yaowl in grade java FAILED TEST valid/tricky_ite in grade java FAILED TEST valid/tuple_eqv in grade java FAILED TEST valid/two_way_unif in grade java FAILED TEST valid/type_inf_ambig_test in grade java FAILED TEST valid/typeclass_constraint_arity in grade java FAILED TEST valid/typeclass_constraint_no_var in grade java FAILED TEST valid/typeclass_det_warning in grade java FAILED TEST valid/typeclass_constraint_nonvar_bug in grade java FAILED TEST valid/unbound_inst_var in grade java FAILED TEST valid/typeclass_inlining_bug in grade java FAILED TEST valid/unbound_tvar_in_lambda in grade java FAILED TEST valid/unescaped_special_char in grade java FAILED TEST valid/undetermined_mode_lambda in grade java FAILED TEST valid/unify_dummy in grade java FAILED TEST valid/unify_typeinfo_bug in grade java FAILED TEST valid/uniq_unify in grade java FAILED TEST valid/uniq_mode_inf_bug in grade java FAILED TEST valid/unreachable_code in grade java FAILED TEST valid/unused_args_test in grade java FAILED TEST valid/use_import_only_for_instance in grade java FAILED TEST valid/wrapper_arg_lvals in grade java FAILED TEST valid/vn_float in grade java FAILED TEST valid/zero_arity in grade java FAILED TEST valid_seq/bug100 in grade java FAILED TEST valid_seq/bug563 in grade java FAILED TEST valid_seq/call_impure_in_opt in grade java FAILED TEST valid_seq/char_escape_opt in grade java FAILED TEST valid_seq/dcg_bug in grade java FAILED TEST valid_seq/empty_submodule in grade java FAILED TEST valid_seq/exported_foreign_type in grade java FAILED TEST valid_seq/exported_lambda in grade java FAILED TEST valid_seq/field_access_funcs in grade java FAILED TEST valid_seq/foreign_du_field in grade java FAILED TEST valid_seq/head_var_unify_uniq in grade java FAILED TEST valid_seq/indirect_import_one_path in grade java FAILED TEST valid_seq/indirect_import_two_paths in grade java FAILED TEST valid_seq/int_impl_imports in grade java FAILED TEST valid_seq/merge_inst_bug in grade java FAILED TEST valid_seq/mode_from_int0_opt in grade java FAILED TEST valid_seq/nested_module_ambiguity in grade java FAILED TEST valid_seq/opt_det_warn in grade java FAILED TEST valid_seq/opt_file_quote in grade java FAILED TEST valid_seq/overload_resolution in grade java FAILED TEST valid_seq/parsing_bug in grade java FAILED TEST valid_seq/read_submod_opt in grade java FAILED TEST valid_seq/sharing_in_opt in grade java FAILED TEST valid_seq/spurious_match in grade java FAILED TEST valid_seq/tc_map_lookup in grade java FAILED TEST valid_seq/to_submods_opt in grade java FAILED TEST valid_seq/transitive_instance in grade java FAILED TEST valid_seq/type_exported_to_submods in grade java FAILED TEST valid_seq/type_spec_vars in grade java FAILED TEST valid_seq/typeclass_exist_opt in grade java FAILED TEST valid_seq/typeclass_in_opt in grade java FAILED TEST valid_seq/unused_args_type_spec in grade java FAILED TEST valid_seq/user_eq_pred_nested in grade java FAILED TEST valid_seq/user_eq_pred_nonnested in grade java FAILED TEST valid_seq/xml_event_read in grade java FAILED TEST warnings/abstract_type_decl in grade java FAILED TEST warnings/ambiguous_overloading in grade java FAILED TEST warnings/bug311 in grade java FAILED TEST warnings/arg_order_rearrangment in grade java FAILED TEST warnings/bug412 in grade java FAILED TEST warnings/det_infer_warning in grade java FAILED TEST warnings/bug477 in grade java FAILED TEST warnings/double_underscore in grade java FAILED TEST warnings/duplicate_call in grade java FAILED TEST warnings/duplicate_const in grade java FAILED TEST warnings/empty_interface in grade java FAILED TEST warnings/foreign_singleton in grade java FAILED TEST warnings/foreign_term_invalid in grade java FAILED TEST warnings/format_call_multi in grade java FAILED TEST warnings/format_call_warning in grade java FAILED TEST warnings/gh85 in grade java FAILED TEST warnings/inconsistent_pred_order in grade java FAILED TEST warnings/inference_test in grade java FAILED TEST warnings/infinite_recursion in grade java FAILED TEST warnings/missing_if in grade java FAILED TEST warnings/missing_singleton_warning in grade java FAILED TEST warnings/inst_with_no_type in grade java FAILED TEST warnings/non_contiguous_decls in grade java FAILED TEST warnings/non_stratification in grade java FAILED TEST warnings/obsolete_proc_pragma in grade java FAILED TEST warnings/non_term_user_special in grade java FAILED TEST warnings/occurs in grade java FAILED TEST warnings/pragma_source_file in grade java FAILED TEST warnings/pragma_term_conflict in grade java FAILED TEST warnings/purity_warnings in grade java FAILED TEST warnings/save in grade java FAILED TEST warnings/simple_code in grade java FAILED TEST warnings/singleton_test in grade java FAILED TEST warnings/singleton_test_state_var in grade java FAILED TEST warnings/spurious_obsolete in grade java FAILED TEST warnings/state_vars_test in grade java FAILED TEST warnings/suspicious_foreign_code in grade java FAILED TEST warnings/subtype_order in grade java FAILED TEST warnings/suspicious_recursion in grade java FAILED TEST warnings/table_with_inline in grade java FAILED TEST warnings/term_indirect_warning in grade java FAILED TEST warnings/test_tscp in grade java FAILED TEST warnings/unify_f_g in grade java FAILED TEST warnings/unify_x_f_x in grade java FAILED TEST warnings/unknown_warning in grade java FAILED TEST warnings/unneeded_mode_specific_clause in grade java FAILED TEST warnings/unsigned_zero_cmp in grade java FAILED TEST warnings/unused_args_test in grade java FAILED TEST warnings/unused_import in grade java FAILED TEST warnings/unused_interface_import in grade java FAILED TEST warnings/warn_dead_procs in grade java FAILED TEST warnings/warn_dead_procs_trace in grade java FAILED TEST warnings/warn_non_contiguous in grade java FAILED TEST warnings/warn_non_contiguous_foreign in grade java FAILED TEST warnings/warn_return in grade java FAILED TEST warnings/warn_self_import in grade java FAILED TEST warnings/warn_stubs in grade java FAILED TEST warnings/unused_args_analysis in grade java ERROR EXIT: some tests failed
Duration: 3.33 hours