Add test for swap_union_renames

2020-06-09 12:34:07 +02:00
parent 6208333f48
commit 454f4161bc
2 changed files with 10 additions and 0 deletions
--- a/tests_dir/people_rename.query
+++ b/tests_dir/people_rename.query
@@ -0,0 +1 @@
+ρ name➡n,age➡a(σTrue(people)) ∪ ρ age➡a,name➡n(people)
				`@@ -0,0 +1 @@`
				`ρ name➡n,age➡a(σTrue(people)) ∪ ρ age➡a,name➡n(people)`