.. block_height.out block_height_fail.out block_timestamp.out block_timestamp_fail.out closure_with_finalize_fail.out contains.out decrement_fail.out decrement_via_get_set.out empty_finalize.out finalize.out finalize_fail.out finalize_incorrect_modes_fail.out finalize_incorrect_return_fail.out finalize_missing_return_fail.out finalize_name_mismatch_fail.out finalize_reassign_to_outer_scope_fail.out finalize_returns_value_fail.out finalize_statement_incorrect_args_fail.out finalize_with_method_calls.out finalize_with_return.out finalize_without_finalize_statement_fail.out get_incorrect_num_operands.out get_incorrect_type_fail.out get_or_incorrect_num_operands.out get_or_incorrect_type_fail.out increment_fail.out increment_via_get_set.out inline_in_finalize.out mapping.out mapping_fail.out mapping_operations_in_inline_fail.out only_finalize_with_flattening.out private_input_ouput_fail.out rand.out rand_incorrect_num_operands.out rand_incorrect_type_fail.out rand_not_in_finalize.out read_write_mapping_fail.out remove.out set_in_an_assignment_fail.out set_incorrect_num_operands.out set_incorrect_type_fail.out shadow_mapping_fail.out unknown_mapping_operation_fail.out