1 files changed, 34 insertions, 0 deletions
diff --git a/src/test/isolation/specs/delete-abort-savept-2.spec b/src/test/isolation/specs/delete-abort-savept-2.spec
new file mode 100644
index 0000000..65bd936
--- /dev/null
+++ b/src/test/isolation/specs/delete-abort-savept-2.spec
@@ -0,0 +1,34 @@
+# A funkier version of delete-abort-savept
+setup
+{
+  CREATE TABLE foo (
+     key INT PRIMARY KEY,
+     value INT
+  );
+
+  INSERT INTO foo VALUES (1, 1);
+}
+
+teardown
+{
+  DROP TABLE foo;
+}
+
+session s1
+setup			{ BEGIN; }
+step s1l		{ SELECT * FROM foo FOR KEY SHARE; }
+step s1svp		{ SAVEPOINT f; }
+step s1d		{ SELECT * FROM foo FOR NO KEY UPDATE; }
+step s1r		{ ROLLBACK TO f; }
+step s1c		{ COMMIT; }
+
+session s2
+setup			{ BEGIN; }
+step s2l		{ SELECT * FROM foo FOR UPDATE; }
+step s2l2		{ SELECT * FROM foo FOR NO KEY UPDATE; }
+step s2c		{ COMMIT; }
+
+permutation s1l s1svp s1d s1r s2l s1c s2c
+permutation s1l s1svp s1d s2l s1r s1c s2c
+permutation s1l s1svp s1d s1r s2l2 s1c s2c
+permutation s1l s1svp s1d s2l2 s1r s1c s2c