Skip to content

Commit 5cf9906

Browse files
committed
Add debug snaps for export tests
1 parent 7aaddda commit 5cf9906

2 files changed

Lines changed: 288 additions & 0 deletions

File tree

Lines changed: 255 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,255 @@
1+
(transaction
2+
(configure { :ivm.maintenance_level "off" :semantics_version 0})
3+
(epoch
4+
(writes
5+
(define
6+
(fragment
7+
:f1
8+
(def
9+
0x7dfb4cf67742cb06
10+
([id::INT name::STRING score::FLOAT]
11+
(or
12+
(and (= id 100) (= name "Alice") (= score 95.5))
13+
(and (= id 200) (= name "Bob") (= score 87.3)))))
14+
(def
15+
0xa3e27b8ca818264
16+
([id::INT name::STRING price::(DECIMAL 10 2) active::BOOLEAN]
17+
(or
18+
(and (= id 1) (= name "Widget") (= price 19.99) (= active true))
19+
(and (= id 2) (= name "Gadget") (= price 29.5) (= active false)))))
20+
(def
21+
0x862417b9e7c3720b
22+
([event_id::INT timestamp::DATETIME description::STRING]
23+
(or
24+
(and
25+
(= event_id 1)
26+
(= timestamp (datetime 2025 1 1 10 30 0 0))
27+
(= description "Start"))
28+
(and
29+
(= event_id 2)
30+
(= timestamp (datetime 2025 1 2 14 45 0 0))
31+
(= description "End")))))
32+
(def
33+
0xa7a39b72f29718e6
34+
([key::STRING value::INT]
35+
(or (and (= key "a") (= value 1)) (and (= key "b") (= value 2)))))
36+
(def
37+
0xaeb24056810d3d1f
38+
([name::STRING] (or (= name "Alice") (= name "Bob") (= name "Carol"))))
39+
(def
40+
0x718827a01a28b6a9
41+
([row::INT v::INT]
42+
(or
43+
(and (= row 1) (= v 100))
44+
(and (= row 2) (= v 200))
45+
(and (= row 3) (= v 300)))))
46+
(def
47+
0xd0d5c8429362b4e3
48+
([row::INT v::STRING]
49+
(or
50+
(and (= row 1) (= v "Alice"))
51+
(and (= row 2) (= v "Bob"))
52+
(and (= row 3) (= v "Carol")))))
53+
(def
54+
0x6f442434acf7f56
55+
([row::INT v::FLOAT]
56+
(or
57+
(and (= row 1) (= v 95.5))
58+
(and (= row 2) (= v 87.3))
59+
(and (= row 3) (= v 92.0)))))
60+
(def
61+
0xa51e572880b40a50
62+
([row::INT v::BOOLEAN]
63+
(or
64+
(and (= row 1) (= v true))
65+
(and (= row 2) (= v false))
66+
(and (= row 3) (= v true))))))))
67+
(reads
68+
(export
69+
(export_csv_config_v2
70+
(path "users_basic.csv")
71+
(table_def 0x7dfb4cf67742cb06)
72+
(csv_config
73+
{
74+
:csv_compression "auto"
75+
:csv_decimal_separator "."
76+
:csv_delimiter ","
77+
:csv_encoding "utf-8"
78+
:csv_escapechar "\""
79+
:csv_header_row 1
80+
:csv_quotechar "\""
81+
:csv_skip 0})))
82+
(export
83+
(export_csv_config_v2
84+
(path "users_pipe.csv")
85+
(table_def 0x7dfb4cf67742cb06)
86+
(csv_config
87+
{
88+
:csv_compression "auto"
89+
:csv_decimal_separator "."
90+
:csv_delimiter "|"
91+
:csv_encoding "utf-8"
92+
:csv_escapechar "\\"
93+
:csv_header_row 1
94+
:csv_quotechar "\""
95+
:csv_skip 0})))
96+
(export
97+
(export_csv_config_v2
98+
(path "users_compressed.csv.gz")
99+
(table_def 0x7dfb4cf67742cb06)
100+
(csv_config
101+
{
102+
:csv_compression "gzip"
103+
:csv_decimal_separator "."
104+
:csv_delimiter ","
105+
:csv_encoding "utf-8"
106+
:csv_escapechar "\\"
107+
:csv_header_row 1
108+
:csv_partition_size_mb 1000
109+
:csv_quotechar "\""
110+
:csv_skip 0})))
111+
(export
112+
(export_csv_config_v2
113+
(path "products.csv")
114+
(table_def 0xa3e27b8ca818264)
115+
(csv_config
116+
{
117+
:csv_compression "auto"
118+
:csv_decimal_separator "."
119+
:csv_delimiter ","
120+
:csv_encoding "utf-8"
121+
:csv_escapechar "\\"
122+
:csv_header_row 1
123+
:csv_quotechar "\""
124+
:csv_skip 0})))
125+
(export
126+
(export_csv_config_v2
127+
(path "events.csv")
128+
(table_def 0x862417b9e7c3720b)
129+
(csv_config
130+
{
131+
:csv_compression "auto"
132+
:csv_decimal_separator "."
133+
:csv_delimiter ","
134+
:csv_encoding "utf-8"
135+
:csv_escapechar "\\"
136+
:csv_header_row 1
137+
:csv_quotechar "\""
138+
:csv_skip 0})))
139+
(export
140+
(export_csv_config_v2
141+
(path "users.tsv")
142+
(table_def 0x7dfb4cf67742cb06)
143+
(csv_config
144+
{
145+
:csv_compression "auto"
146+
:csv_decimal_separator "."
147+
:csv_delimiter "\t"
148+
:csv_encoding "utf-8"
149+
:csv_escapechar "\\"
150+
:csv_header_row 1
151+
:csv_quotechar "\""
152+
:csv_skip 0})))
153+
(export
154+
(export_csv_config_v2
155+
(path "simple_no_header.csv")
156+
(table_def 0xa7a39b72f29718e6)
157+
(csv_config
158+
{
159+
:csv_compression "auto"
160+
:csv_decimal_separator "."
161+
:csv_delimiter ","
162+
:csv_encoding "utf-8"
163+
:csv_escapechar "\\"
164+
:csv_header_row 0
165+
:csv_quotechar "\""
166+
:csv_skip 0})))
167+
(export
168+
(export_csv_config_v2
169+
(path "names_only.csv")
170+
(table_def 0xaeb24056810d3d1f)
171+
(csv_config
172+
{
173+
:csv_compression "auto"
174+
:csv_decimal_separator "."
175+
:csv_delimiter ","
176+
:csv_encoding "utf-8"
177+
:csv_escapechar "\""
178+
:csv_header_row 1
179+
:csv_quotechar "\""
180+
:csv_skip 0})))
181+
(export
182+
(export_csv_config_v2
183+
(path "gnf_all_columns.csv")
184+
(gnf_columns
185+
(column "id" 0x718827a01a28b6a9)
186+
(column "name" 0xd0d5c8429362b4e3)
187+
(column "score" 0x6f442434acf7f56)
188+
(column "active" 0xa51e572880b40a50))
189+
(csv_config
190+
{
191+
:csv_compression "auto"
192+
:csv_decimal_separator "."
193+
:csv_delimiter ","
194+
:csv_encoding "utf-8"
195+
:csv_escapechar "\\"
196+
:csv_header_row 1
197+
:csv_quotechar "\""
198+
:csv_skip 0})))
199+
(export
200+
(export_csv_config_v2
201+
(path "gnf_subset.csv")
202+
(gnf_columns
203+
(column "user_id" 0x718827a01a28b6a9)
204+
(column "user_name" 0xd0d5c8429362b4e3))
205+
(csv_config
206+
{
207+
:csv_compression "auto"
208+
:csv_decimal_separator "."
209+
:csv_delimiter ","
210+
:csv_encoding "utf-8"
211+
:csv_escapechar "\\"
212+
:csv_header_row 1
213+
:csv_quotechar "\""
214+
:csv_skip 0})))
215+
(export
216+
(export_csv_config_v2
217+
(path "gnf_custom.csv.gz")
218+
(gnf_columns (column "id" 0x718827a01a28b6a9) (column "score" 0x6f442434acf7f56))
219+
(csv_config
220+
{
221+
:csv_compression "auto"
222+
:csv_decimal_separator "."
223+
:csv_delimiter ","
224+
:csv_encoding "utf-8"
225+
:csv_escapechar "\""
226+
:csv_header_row 1
227+
:csv_quotechar "\""
228+
:csv_skip 0})))
229+
(export
230+
(export_csv_config_v2
231+
(path "gnf_single.csv")
232+
(gnf_columns (column "score" 0x6f442434acf7f56))
233+
(csv_config
234+
{
235+
:csv_compression "auto"
236+
:csv_decimal_separator "."
237+
:csv_delimiter ","
238+
:csv_encoding "utf-8"
239+
:csv_escapechar "\""
240+
:csv_header_row 1
241+
:csv_quotechar "\""
242+
:csv_skip 0}))))))
243+
244+
;; Debug information
245+
;; -----------------------
246+
;; Original names
247+
;; ID `0xa51e572880b40a50` -> `col_active`
248+
;; ID `0x718827a01a28b6a9` -> `col_id`
249+
;; ID `0xd0d5c8429362b4e3` -> `col_name`
250+
;; ID `0x6f442434acf7f56` -> `col_score`
251+
;; ID `0x862417b9e7c3720b` -> `events`
252+
;; ID `0xaeb24056810d3d1f` -> `names`
253+
;; ID `0xa3e27b8ca818264` -> `products`
254+
;; ID `0xa7a39b72f29718e6` -> `simple`
255+
;; ID `0x7dfb4cf67742cb06` -> `users`
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
(transaction
2+
(configure { :ivm.maintenance_level "off" :semantics_version 0})
3+
(epoch
4+
(writes
5+
(define
6+
(fragment
7+
:f1
8+
(def
9+
0x145770157dd34e15
10+
([col1::INT col2::STRING]
11+
(or (and (= col1 1) (= col2 "hello")) (and (= col1 2) (= col2 "world"))))
12+
(attrs (attribute :csv_export))))))
13+
(reads
14+
(export
15+
(export_csv_config_v2
16+
(path "output.csv")
17+
(table_def 0x145770157dd34e15)
18+
(csv_config
19+
{
20+
:csv_compression ""
21+
:csv_decimal_separator "."
22+
:csv_delimiter ","
23+
:csv_encoding "utf-8"
24+
:csv_escapechar "\\"
25+
:csv_header_row 1
26+
:csv_partition_size_mb 10
27+
:csv_quotechar "\""
28+
:csv_skip 0}))))))
29+
30+
;; Debug information
31+
;; -----------------------
32+
;; Original names
33+
;; ID `0x145770157dd34e15` -> `my_table`

0 commit comments

Comments
 (0)