
running 130 tests
test analysis::control_flow::tests::linear_cfg_generation ... ok
test analysis::control_flow::tests::branching_cfg_generation ... ok
test analysis::expr_flow::tests::expr_exec_order_ck ... ok
test analysis::control_flow::tests::complex_branching_cfg_generation ... ok
test analysis::control_flow::tests::while_loop_generation ... ok
test analysis::semantic_ck::tests::annotate_struct ... ok
test analysis::semantic_ck::tests::annotate_fn ... ok
test analysis::semantic_ck::tests::anonymous_fn_invalid ... ok
test analysis::semantic_ck::tests::anonymous_fn_call ... ok
test analysis::semantic_ck::tests::anonymous_fn_arg ... ok
test analysis::semantic_ck::tests::anonymous_struct_init ... ok
test analysis::semantic_ck::tests::all_required_returns ... ok
test analysis::semantic_ck::tests::anonymous_struct_init_invalid_type ... ok
test analysis::semantic_ck::tests::array_indexing ... ok
test analysis::semantic_ck::tests::assign_array_index ... ok
test analysis::semantic_ck::tests::bind_fn_type_app ... ok
test analysis::semantic_ck::tests::basic_test_semantic_analysis ... ok
test analysis::semantic_ck::tests::bind_fn_type_app_mod_access ... ok
test analysis::semantic_ck::tests::builtin_bind ... ok
test analysis::semantic_ck::tests::builtin_function ... ok
test analysis::semantic_ck::tests::bind_fn_type_app_mod_access_stmt ... ok
test analysis::semantic_ck::tests::call_fn_success ... ok
test analysis::semantic_ck::tests::deny_unchecked_params_builtin_function_struct ... ok
test analysis::semantic_ck::tests::correct_array_initialization ... ok
test analysis::semantic_ck::tests::fn_multi_type_param ... ok
test analysis::semantic_ck::tests::embedded_ifs_analysis ... ok
test analysis::semantic_ck::tests::fn_out_of_order ... ok
test analysis::semantic_ck::tests::fn_multi_type_param_err ... ok
test analysis::semantic_ck::tests::fn_piping ... ok
test analysis::semantic_ck::tests::generic_builtin_fn_binding ... ok
test analysis::semantic_ck::tests::function_field ... ok
test analysis::semantic_ck::tests::function_value ... ok
test analysis::semantic_ck::tests::generic_function ... ok
test analysis::semantic_ck::tests::generic_fn_param ... ok
test analysis::semantic_ck::tests::generic_fn_binding_invalid_type ... ok
test analysis::semantic_ck::tests::generic_fn_binding ... ok
test analysis::semantic_ck::tests::generic_struct_decl ... ok
test analysis::semantic_ck::tests::generic_struct_init ... ok
test analysis::semantic_ck::tests::generic_struct_init_type_arg ... ok
test analysis::semantic_ck::tests::generic_invalid_transitive_width_constraint ... ok
test analysis::semantic_ck::tests::generic_unknown_type_parameter ... ok
test analysis::semantic_ck::tests::generic_struct_init_type_arg_error ... ok
test analysis::semantic_ck::tests::generic_struct_init_width_constraint ... ok
test analysis::semantic_ck::tests::generic_width_constraint_invalid_bind ... ok
test analysis::semantic_ck::tests::generic_width_constraint_invalid_field_bind ... ok
test analysis::semantic_ck::tests::generic_width_constraint ... ok
test analysis::semantic_ck::tests::generic_transitive_width_constraint ... ok
test analysis::semantic_ck::tests::generic_width_constraint_invalid_return ... ok
test analysis::semantic_ck::tests::heterogenous_array_initialization ... ok
test analysis::semantic_ck::tests::instantiate_builtin_fn_binding ... ok
test analysis::semantic_ck::tests::invalid_fn_subtyping_nominal ... ok
test analysis::semantic_ck::tests::invalid_fn_subtyping_wider ... ok
test analysis::semantic_ck::tests::instantiate_fn_binding ... ok
test analysis::semantic_ck::tests::mismatch_array_assignment ... ok
test analysis::semantic_ck::tests::invalid_type_arg ... ok
test analysis::semantic_ck::tests::mod_function_value ... ok
test analysis::semantic_ck::tests::mods_out_of_order ... ok
test analysis::semantic_ck::tests::mutually_recursive_check ... ok
test analysis::semantic_ck::tests::missing_return ... ok
test analysis::semantic_ck::tests::opaque_struct ... ok
test analysis::semantic_ck::tests::opaque_type_assignment ... ok
test analysis::semantic_ck::tests::opaque_type_field ... ok
test analysis::semantic_ck::tests::opaque_type_field_invariance ... ok
test analysis::semantic_ck::tests::opaque_type_param ... ok
test analysis::semantic_ck::tests::opaque_type_invariance ... ok
test analysis::semantic_ck::tests::struct_out_of_order ... ok
test analysis::semantic_ck::tests::optional_local_type_annotation ... ok
test analysis::semantic_ck::tests::top_level_name_collision_builtin_fn ... ok
test analysis::semantic_ck::tests::top_level_name_collision_fn ... ok
test analysis::semantic_ck::tests::top_level_name_collision_opaque ... ok
test analysis::semantic_ck::tests::recursive_check ... ok
test analysis::semantic_ck::tests::top_level_name_collision_fn_builtin ... ok
test analysis::semantic_ck::tests::top_level_name_collision_struct_opaque ... ok
test analysis::semantic_ck::tests::top_level_name_collision_struct ... ok
test analysis::semantic_ck::tests::unchecked_params_builtin_function ... ok
test analysis::semantic_ck::tests::width_constraint_call ... ok
test analysis::semantic_ck::tests::width_constraint_multi_base ... ok
test analysis::semantic_ck::tests::width_constraint_conflicting ... ok
test parser::parser_tests::parser_tests::parse_annotate_fn ... ok
test parser::parser_tests::parser_tests::parse_annotate_struct ... ok
test analysis::semantic_ck::tests::valid_fn_subtyping ... ok
test parser::parser_tests::parser_tests::parse_another_complex_expr ... ok
test parser::parser_tests::parser_tests::parse_anonymous_width_constraint ... ok
test parser::parser_tests::parser_tests::parse_bind_fn_type_app_mod_access ... ok
test analysis::semantic_ck::tests::width_constraint_nested ... ok
test parser::parser_tests::parser_tests::parse_bind_fn_type_app_mod_access_stmt ... ok
test parser::parser_tests::parser_tests::parse_bind_fn_type_app ... ok
test parser::parser_tests::parser_tests::parse_float_expr ... ok
test parser::parser_tests::parser_tests::parse_fn_decl_type_param ... ok
test parser::parser_tests::parser_tests::parse_fn_call_type_arg ... ok
test parser::parser_tests::parser_tests::parse_fn_generic ... ok
test parser::parser_tests::parser_tests::parse_fn_generic_param ... ok
test parser::parser_tests::parser_tests::parse_generic_fn_constraint ... ok
test parser::parser_tests::parser_tests::parse_generic_struct_init ... ok
test parser::parser_tests::parser_tests::parse_math_expr ... ok
test parser::parser_tests::parser_tests::parse_named_width_constraint ... ok
test parser::parser_tests::parser_tests::parse_opaque_type ... ok
test parser::parser_tests::parser_tests::parse_nested_paren_expr ... ok
test parser::parser_tests::parser_tests::parse_generic_struct_constraint ... ok
test parser::parser_tests::parser_tests::parse_paren_expr ... ok
test parser::parser_tests::parser_tests::parse_opaque_type_type_params ... ok
test parser::parser_tests::parser_tests::parse_opaque_type_type_params_where_clause ... ok
test parser::parser_tests::parser_tests::parse_struct_decl_type_param ... ok
test parser::parser_tests::parser_tests::parse_struct_init_type_arg ... ok
test parser::parser_tests::parser_tests::parse_type_inst ... ok
test parser::parser_tests::parser_tests::test_parse_FnDecl ... ok
test parser::parser_tests::parser_tests::parse_programs ... ok
test parser::parser_tests::parser_tests::test_parse_MathExpr_no_spaces ... ok
test parser::parser_tests::parser_tests::parse_width_constraint_list ... ok
test parser::parser_tests::parser_tests::test_parse_MathExpr ... ok
test parser::parser_tests::parser_tests::test_parse_TruthExpr ... ok
test parser::parser_tests::parser_tests::test_parse_complex_expr ... ok
test parser::parser_tests::parser_tests::test_parse_StructDecl ... ok
test parser::parser_tests::parser_tests::test_parse_anonymous_struct_init ... ok
test parser::tokens::tests::tokenize_comma_list ... ok
test parser::tokens::tests::tokenize_assignment ... ok
test parser::tokens::tests::tokenize_field_access ... ok
test parser::tokens::tests::tokenize_end_of_input ... ok
test parser::tokens::tests::tokenize_idents ... ok
test parser::tokens::tests::tokenize_line_comment ... ok
test parser::tokens::tests::tokenize_keywords ... ok
test parser::tokens::tests::tokenize_literals ... ok
test parser::tokens::tests::tokenize_mod_decl ... ok
test parser::tokens::tests::tokenize_module_path ... ok
test parser::tokens::tests::tokenize_math_expr ... ok
test parser::tokens::tests::tokenize_single_float ... ok
test parser::tokens::tests::tokenize_struct_decl ... ok
test parser::parser_tests::parser_tests::test_parse_local_var_decl ... ok
test parser::parser_tests::parser_tests::test_parse_struct_init ... ok
test parser::tokens::tests::tokenize_string_literal ... ok

test result: ok. 130 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out


running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out

