From 454f4161bc6e16a25ab29cd12cd318b2765d2680 Mon Sep 17 00:00:00 2001 From: Salvo 'LtWorf' Tomaselli Date: Tue, 9 Jun 2020 12:34:07 +0200 Subject: [PATCH] Add test for swap_union_renames --- tests_dir/people_rename.query | 1 + tests_dir/people_rename.result | 9 +++++++++ 2 files changed, 10 insertions(+) create mode 100644 tests_dir/people_rename.query create mode 100644 tests_dir/people_rename.result diff --git a/tests_dir/people_rename.query b/tests_dir/people_rename.query new file mode 100644 index 0000000..b2fba90 --- /dev/null +++ b/tests_dir/people_rename.query @@ -0,0 +1 @@ +ρ name➡n,age➡a(σTrue(people)) ∪ ρ age➡a,name➡n(people) diff --git a/tests_dir/people_rename.result b/tests_dir/people_rename.result new file mode 100644 index 0000000..6e4a1ba --- /dev/null +++ b/tests_dir/people_rename.result @@ -0,0 +1,9 @@ +id,n,chief,a +0,jack,0,22 +1,carl,0,20 +2,john,1,30 +3,dean,1,33 +4,eve,0,25 +5,duncan,4,30 +6,paul,4,30 +7,alia,1,28