|
|
@ -336,7 +336,7 @@ permutation s1_trig_rep_b_u s1_trig_rep_a_u |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_upd_a_tob s2_upd_all_data s1_c s2_c |
|
|
|
s1_upd_a_tob s2_upd_all_data s1_c s2_c |
|
|
|
s0_rep |
|
|
|
s0_rep |
|
|
|
# s1 deletes, s2 updates, s1 committs, EPQ failure should lead to no update |
|
|
|
# s1 deletes, s2 updates, s1 commits, EPQ failure should lead to no update |
|
|
|
permutation s1_trig_rep_b_d s1_trig_rep_b_u s1_trig_rep_a_d s1_trig_rep_a_u |
|
|
|
permutation s1_trig_rep_b_d s1_trig_rep_b_u s1_trig_rep_a_d s1_trig_rep_a_u |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_del_a s2_upd_a_data s1_c s2_c |
|
|
|
s1_del_a s2_upd_a_data s1_c s2_c |
|
|
@ -346,7 +346,7 @@ permutation s1_trig_rep_b_d s1_trig_rep_b_u s1_trig_rep_a_d s1_trig_rep_a_u |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_del_a s2_upd_a_data s1_r s2_c |
|
|
|
s1_del_a s2_upd_a_data s1_r s2_c |
|
|
|
s0_rep |
|
|
|
s0_rep |
|
|
|
# s1 deletes, s2 deletes, s1 committs, EPQ failure should lead to no delete |
|
|
|
# s1 deletes, s2 deletes, s1 commits, EPQ failure should lead to no delete |
|
|
|
permutation s1_trig_rep_b_d s1_trig_rep_a_d |
|
|
|
permutation s1_trig_rep_b_d s1_trig_rep_a_d |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_ins_a s1_ins_c s1_b_rc s2_b_rc |
|
|
|
s1_del_a s2_del_a s1_c s2_c |
|
|
|
s1_del_a s2_del_a s1_c s2_c |
|
|
|