From 2ad28ba9ad4b880eba0f6e1bd44542a7b2325a1e Mon Sep 17 00:00:00 2001 From: Salvo 'LtWorf' Tomaselli Date: Tue, 9 Jun 2020 18:40:01 +0200 Subject: [PATCH] Add test to hit swap_rename_select --- tests_dir/people_rename_select.query | 1 + tests_dir/people_rename_select.result | 5 +++++ 2 files changed, 6 insertions(+) create mode 100644 tests_dir/people_rename_select.query create mode 100644 tests_dir/people_rename_select.result diff --git a/tests_dir/people_rename_select.query b/tests_dir/people_rename_select.query new file mode 100644 index 0000000..d728fc8 --- /dev/null +++ b/tests_dir/people_rename_select.query @@ -0,0 +1 @@ +σ i%2==0 (ρ id➡i (people)) diff --git a/tests_dir/people_rename_select.result b/tests_dir/people_rename_select.result new file mode 100644 index 0000000..83a690c --- /dev/null +++ b/tests_dir/people_rename_select.result @@ -0,0 +1,5 @@ +i,name,chief,age +0,jack,0,22 +2,john,1,30 +4,eve,0,25 +6,paul,4,30