()
| 180 | } |
| 181 | |
| 182 | @Test public void TestCommitCrash() |
| 183 | throws IOException, DbException, TransactionAbortedException { |
| 184 | setup(); |
| 185 | |
| 186 | // *** Test: |
| 187 | // insert, crash, recover: data should still be there |
| 188 | |
| 189 | doInsert(hf1, 1, 2); |
| 190 | |
| 191 | crash(); |
| 192 | |
| 193 | Transaction t = new Transaction(); |
| 194 | t.start(); |
| 195 | look(hf1, t, 1, true); |
| 196 | look(hf1, t, 2, true); |
| 197 | look(hf1, t, 3, false); |
| 198 | t.commit(); |
| 199 | } |
| 200 | |
| 201 | @Test public void TestAbort() |
| 202 | throws IOException, DbException, TransactionAbortedException { |