Add test to hit swap_rename_select
This commit is contained in:
parent
cac990b598
commit
2ad28ba9ad
1
tests_dir/people_rename_select.query
Normal file
1
tests_dir/people_rename_select.query
Normal file
@ -0,0 +1 @@
|
||||
σ i%2==0 (ρ id➡i (people))
|
5
tests_dir/people_rename_select.result
Normal file
5
tests_dir/people_rename_select.result
Normal file
@ -0,0 +1,5 @@
|
||||
i,name,chief,age
|
||||
0,jack,0,22
|
||||
2,john,1,30
|
||||
4,eve,0,25
|
||||
6,paul,4,30
|
Loading…
Reference in New Issue
Block a user