.. operations all_loops_fail.out assign.out assign_external_record_fail.out assign_fail.out assign_ternary.out block.out chain.out compare_diff_types_fail.out compare_invalid_negates_fail.out duplicate_variable.out expr_statement.out expr_statement_fail.out iteration_basic.out iteration_bound_too_large_fail.out iteration_nested.out loop_decreasing_noop.out loop_non_literal_bound_fail.out loop_returns_fail.out multiple_returns.out multiple_returns_in_one_block_fail.out mutate.out non_existant_var_exp_fail.out non_existant_vars_mul_fail.out statements_after_complete_conditional_return_fail.out ternary_explicit_and_implicit.out typecheck_statements_fail.out underscore_for_loop.out unknown_type_in_definition_fail.out variable_shadows_input_param_fail.out