Error found with random code generator, the code can be found here

Submitted by André Vieira on 18 January 2013 at 16:41

On 1 July 2013 at 15:19 André Vieira commented:

Generated and shrunk code causing this failure:

application IeLPH__3

define lXq ( ) = g__1c4_JX_(*, g_7CEX2_)

On 17 July 2013 at 11:29 André Vieira commented:
webdslc_main_0_0
webdslc_main_0_0
setup_adderror_for_random_testing_1_0
webdslc_main2_0_0
xtc_io_wrap_5_0
option_wrap_5_0
xtc_io_1_0
xtc_temp_files_1_0
restore_always_2_0
xtc_webdslc_0_0
dsl_to_core_0_0
dsl_to_core_analysis_0_0
stage_1_1
dr_scope_1_1
log_timed_1_1
typecheck_0_0
in_typechecking_phase_1_0
dr_scope_1_1
if_typechecking_2_0
log_time_1_1
if_statistics_2_0
constraint_error_all_0_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
bottomup_1_0
try_1_0
constraint_error_0_0
constraint_error_ui_0_0
constraint_error_ui_0_0_fragment_2
constraint_error_ui_0_0_fragment_1
constraint_error_ui_0_0_fragment_0
local_redefine_arg_types_0_2
map_1_0
type_of_0_0
eq_type_of_0_0
IsEntity_0_0
EntDecl_0_0
dr_lookup_rule_0_2
dr_lookup_rule_1_2
dr_lookup_rule_1_2

[ test | critical ] Internal error: with clause failed unexpectedly in rule ‘local-redefine-arg-types’


On 17 July 2013 at 11:29 André Vieira tagged randomtesting

Log in to post comments