#### db_type: mongodb ####
#### test_type: mda_step_iat ####
#### isolation: snapshot ####

current_result: The query result of the current SQL statement. Each row of table is separated by a space, and the fields in each row are separated by commas
expected_result: The expected result is the expected query result for each SQL that conforms to the serializability theory
 
T1 execute stmt: 't1.put(0, 0)'
T1 execute stmt: 't1.put(1, 0)'
T1 execute stmt: 't1.put(2, 0)'
T1 start transaction success
T1 execute stmt: 't1.get(2)'
   current_result: 
     (2,0) 
  *(1) expected_result: 
     (2,0) 
  *(2) expected_result: 
     (2,0) 
  *(3) expected_result: 
     (2,0) 
   (4) expected_result: 
     (2,1) 
   (5) expected_result: 
     (2,1) 
   (6) expected_result: 
     (2,1) 

                                        T2 start transaction success
                                        T2 execute stmt: 't1.get(0)'
                                           current_result: 
                                             (0,0) 
                                           (1) expected_result: 
                                             (0,1) 
                                           (2) expected_result: 
                                             (0,1) 
                                          *(3) expected_result: 
                                             (0,0) 
                                          *(4) expected_result: 
                                             (0,0) 
                                           (5) expected_result: 
                                             (0,1) 
                                          *(6) expected_result: 
                                             (0,0) 

                                                                                T3 start transaction success
                                                                                T3 execute stmt: 't1.get(1)'
                                                                                   current_result: 
                                                                                     (1,0) 
                                                                                   (1) expected_result: 
                                                                                     (1,1) 
                                                                                  *(2) expected_result: 
                                                                                     (1,0) 
                                                                                   (3) expected_result: 
                                                                                     (1,1) 
                                                                                   (4) expected_result: 
                                                                                     (1,1) 
                                                                                  *(5) expected_result: 
                                                                                     (1,0) 
                                                                                  *(6) expected_result: 
                                                                                     (1,0) 

T1 execute stmt: 't1.put(0, 1)'
                                        T2 execute stmt: 't1.put(1, 1)'
                                                                                T3 execute stmt: 't1.put(2, 1)'
T1 COMMIT transaction success
                                        T2 COMMIT transaction success
                                                                                T3 COMMIT transaction success
                                                                                                                        T4 execute stmt: 't1.get(*)'
                                                                                                                           current_result: 
                                                                                                                             (0,1) (1,1) (2,1) 
                                                                                                                          *(1) expected_result: 
                                                                                                                             (0,1) (1,1) (2,1) 
                                                                                                                          *(2) expected_result: 
                                                                                                                             (0,1) (1,1) (2,1) 
                                                                                                                          *(3) expected_result: 
                                                                                                                             (0,1) (1,1) (2,1) 
                                                                                                                          *(4) expected_result: 
                                                                                                                             (0,1) (1,1) (2,1) 
                                                                                                                          *(5) expected_result: 
                                                                                                                             (0,1) (1,1) (2,1) 
                                                                                                                          *(6) expected_result: 
                                                                                                                             (0,1) (1,1) (2,1) 


Test Result: Anomaly
Reason: Data anomaly is not recognized by the database, resulting in data inconsistencies