#### db_type: sqlserver ####
#### test_type: dda_read_write_skew2_c1 ####
#### 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
 
set TXN_ISOLATION = snapshot for each session
----------wat_dda_read_write_skew2_c1 test prepare----------
Q0-T1 execute sql: 'DROP TABLE IF EXISTS t1;'
Q0-T1 execute sql: 'CREATE TABLE t1 (k INT PRIMARY KEY, v INT);'
Q0-T1 execute sql: 'INSERT INTO t1 VALUES (0, 0);'
Q0-T1 execute sql: 'INSERT INTO t1 VALUES (1, 0);'
Q0-T1 execute opt: 'COMMIT';

----------wat_dda_read_write_skew2_c1 test run----------
Q1-T1 execute opt: 'BEGIN;'
Q1 finished at: 2022-4-2 15:10:39:952:183
Q2-T1 execute sql: 'UPDATE t1 SET v=1 WHERE k=0;'
Q2 finished at: 2022-4-2 15:10:39:996:301
                                        Q3-T2 execute opt: 'BEGIN;'
                                        Q3 finished at: 2022-4-2 15:10:40:52:109
                                        Q4-T2 execute sql: 'SELECT * FROM t1 WHERE k=1;'
                                           current_result: 
                                             (1,0) 
                                           (1) expected_result: 
                                             (1,1) 
                                          *(2) expected_result: 
                                             (1,0) 

                                        Q4 finished at: 2022-4-2 15:10:40:91:445
                                        Q5-T2 execute sql: 'UPDATE t1 SET v=2 WHERE k=0;'
Q6-T1 execute sql: 'UPDATE t1 SET v=1 WHERE k=1;'
Q6 finished at: 2022-4-2 15:10:40:201:234
Q7-T1 execute opt: 'COMMIT';
Q7 finished at: 2022-4-2 15:10:40:255:55
                                        Q5 failed reason: [Microsoft][ODBC Driver 17 for SQL Server][SQL Server]Snapshot isolation transaction aborted due to update conflict. You cannot use snapshot isolation to access table 'dbo.t1' directly or indirectly in database 'test' to update, delete, or insert the row  errcode: 42000
                                        Q5 failed at: 2022-4-2 15:10:40:751:942

Test Result: Rollback
Reason: [Microsoft][ODBC Driver 17 for SQL Server][SQL Server]Snapshot isolation transaction aborted due to update conflict. You cannot use snapshot isolation to access table 'dbo.t1' directly or indirectly in database 'test' to update, delete, or insert the row