Stack trace:

	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
	rename_top_0_0
	log_time_1_1
	if_statistics_2_0
	map_toplevel_2_0
	alltd_1_0
	map_1_0
	rename_toplevel_0_0
	with_toplevel_name_1_0
	with_toplevel_name_1_1
	dr_scope_1_1
	rename_all_0_0
	with_origin_1_0
	with_origin_1_1
	preserve_editor_origin_1_1
	alltd_1_0
	rename_0_0
	rename_ac_0_0
	dr_scope_1_1

Caused by:

application O

access control rules
  yye
  rule action D__6 ( function ( ) : Void { } * ) {
    externalscope . Le8Nfm8
  }
Submitted by André Vieira on 12 July 2013 at 09:28

On 16 July 2013 at 14:52 André Vieira tagged randomtesting

Log in to post comments