• Sylvain Dailler's avatar
    Removes model_trace added at parsing · 786526f4
    Sylvain Dailler authored
    Removes debug flag: debug_auto_model.
    Some changes in counterexamples triggered by:
    - (non counterexamples) transformations which have a specific case for
       model_trace but not for the new detection: this is intended as
       simplifications that would be done are often simplifications we want
       for counterexamples,
    - Some locations are missing in variables introduced by SP/WP which should
      explain the rest.
    
    This also disables projections for record in intro_projection_counterexmp.
    
    Correct subst_filter to be consistent with new counterexample modification
    786526f4
Name
Last commit
Last update
..
algebraic_type_CVC4,1.5_SP.oracle Loading commit data...
algebraic_type_CVC4,1.5_WP.oracle Loading commit data...
algebraic_type_Z3,4.6.0_SP.oracle Loading commit data...
algebraic_type_Z3,4.6.0_WP.oracle Loading commit data...
array_mono_CVC4,1.5_SP.oracle Loading commit data...
array_mono_CVC4,1.5_WP.oracle Loading commit data...
array_mono_Z3,4.6.0_SP.oracle Loading commit data...
array_mono_Z3,4.6.0_WP.oracle Loading commit data...
array_records_CVC4,1.5_SP.oracle Loading commit data...
array_records_CVC4,1.5_WP.oracle Loading commit data...
array_records_Z3,4.6.0_SP.oracle Loading commit data...
array_records_Z3,4.6.0_WP.oracle Loading commit data...
arrays_CVC4,1.5_SP.oracle Loading commit data...
arrays_CVC4,1.5_WP.oracle Loading commit data...
arrays_Z3,4.6.0_SP.oracle Loading commit data...
arrays_Z3,4.6.0_WP.oracle Loading commit data...
floats_CVC4,1.5_SP.oracle Loading commit data...
floats_CVC4,1.5_WP.oracle Loading commit data...
floats_Z3,4.6.0_SP.oracle Loading commit data...
floats_Z3,4.6.0_WP.oracle Loading commit data...
if_assign_CVC4,1.5_SP.oracle Loading commit data...
if_assign_CVC4,1.5_WP.oracle Loading commit data...
if_assign_Z3,4.6.0_SP.oracle Loading commit data...
if_assign_Z3,4.6.0_WP.oracle Loading commit data...
if_decision_branch_CVC4,1.5_SP.oracle Loading commit data...
if_decision_branch_CVC4,1.5_WP.oracle Loading commit data...
if_decision_branch_Z3,4.6.0_SP.oracle Loading commit data...
if_decision_branch_Z3,4.6.0_WP.oracle Loading commit data...
int32_CVC4,1.5_SP.oracle Loading commit data...
int32_CVC4,1.5_WP.oracle Loading commit data...
int32_Z3,4.6.0_SP.oracle Loading commit data...
int32_Z3,4.6.0_WP.oracle Loading commit data...
int_CVC4,1.5_SP.oracle Loading commit data...
int_CVC4,1.5_WP.oracle Loading commit data...
int_Z3,4.6.0_SP.oracle Loading commit data...
int_Z3,4.6.0_WP.oracle Loading commit data...
int_overflow_CVC4,1.5_SP.oracle Loading commit data...
int_overflow_CVC4,1.5_WP.oracle Loading commit data...
int_overflow_Z3,4.6.0_SP.oracle Loading commit data...
int_overflow_Z3,4.6.0_WP.oracle Loading commit data...
jlamp0_CVC4,1.5_SP.oracle Loading commit data...
jlamp0_CVC4,1.5_WP.oracle Loading commit data...
jlamp0_Z3,4.6.0_SP.oracle Loading commit data...
jlamp0_Z3,4.6.0_WP.oracle Loading commit data...
jlamp_array_CVC4,1.5_SP.oracle Loading commit data...
jlamp_array_CVC4,1.5_WP.oracle Loading commit data...
jlamp_array_Z3,4.6.0_SP.oracle Loading commit data...
jlamp_array_Z3,4.6.0_WP.oracle Loading commit data...
jlamp_projections_CVC4,1.5_SP.oracle Loading commit data...
jlamp_projections_CVC4,1.5_WP.oracle Loading commit data...
jlamp_projections_Z3,4.6.0_SP.oracle Loading commit data...
jlamp_projections_Z3,4.6.0_WP.oracle Loading commit data...
list_CVC4,1.5_SP.oracle Loading commit data...
list_CVC4,1.5_WP.oracle Loading commit data...
list_Z3,4.6.0_SP.oracle Loading commit data...
list_Z3,4.6.0_WP.oracle Loading commit data...
map_CVC4,1.5_SP.oracle Loading commit data...
map_CVC4,1.5_WP.oracle Loading commit data...
map_Z3,4.6.0_SP.oracle Loading commit data...
map_Z3,4.6.0_WP.oracle Loading commit data...
polymorphism_CVC4,1.5_SP.oracle Loading commit data...
polymorphism_CVC4,1.5_WP.oracle Loading commit data...
polymorphism_Z3,4.6.0_SP.oracle Loading commit data...
polymorphism_Z3,4.6.0_WP.oracle Loading commit data...
range_type_CVC4,1.5_SP.oracle Loading commit data...
range_type_CVC4,1.5_WP.oracle Loading commit data...
range_type_Z3,4.6.0_SP.oracle Loading commit data...
range_type_Z3,4.6.0_WP.oracle Loading commit data...
real_CVC4,1.5_SP.oracle Loading commit data...
real_CVC4,1.5_WP.oracle Loading commit data...
real_Z3,4.6.0_SP.oracle Loading commit data...
real_Z3,4.6.0_WP.oracle Loading commit data...
record_map_CVC4,1.5_SP.oracle Loading commit data...
record_map_CVC4,1.5_WP.oracle Loading commit data...
record_map_Z3,4.6.0_SP.oracle Loading commit data...
record_map_Z3,4.6.0_WP.oracle Loading commit data...
record_one_field_CVC4,1.5_SP.oracle Loading commit data...
record_one_field_CVC4,1.5_WP.oracle Loading commit data...
record_one_field_Z3,4.6.0_SP.oracle Loading commit data...
record_one_field_Z3,4.6.0_WP.oracle Loading commit data...
records_CVC4,1.5_SP.oracle Loading commit data...
records_CVC4,1.5_WP.oracle Loading commit data...
records_Z3,4.6.0_SP.oracle Loading commit data...
records_Z3,4.6.0_WP.oracle Loading commit data...
records_inv_CVC4,1.5_SP.oracle Loading commit data...
records_inv_CVC4,1.5_WP.oracle Loading commit data...
records_inv_Z3,4.6.0_SP.oracle Loading commit data...
records_inv_Z3,4.6.0_WP.oracle Loading commit data...
records_label_CVC4,1.5_SP.oracle Loading commit data...
records_label_CVC4,1.5_WP.oracle Loading commit data...
records_label_Z3,4.6.0_SP.oracle Loading commit data...
records_label_Z3,4.6.0_WP.oracle Loading commit data...
ref_CVC4,1.5_SP.oracle Loading commit data...
ref_CVC4,1.5_WP.oracle Loading commit data...
ref_Z3,4.6.0_SP.oracle Loading commit data...
ref_Z3,4.6.0_WP.oracle Loading commit data...
ref_mono_CVC4,1.5_SP.oracle Loading commit data...
ref_mono_CVC4,1.5_WP.oracle Loading commit data...
ref_mono_Z3,4.6.0_SP.oracle Loading commit data...
ref_mono_Z3,4.6.0_WP.oracle Loading commit data...
result_CVC4,1.5_SP.oracle Loading commit data...
result_CVC4,1.5_WP.oracle Loading commit data...
result_Z3,4.6.0_SP.oracle Loading commit data...
result_Z3,4.6.0_WP.oracle Loading commit data...
simple_array_CVC4,1.5_SP.oracle Loading commit data...
simple_array_CVC4,1.5_WP.oracle Loading commit data...
simple_array_Z3,4.6.0_SP.oracle Loading commit data...
simple_array_Z3,4.6.0_WP.oracle Loading commit data...