ofproto: More vlan tests
[openvswitch] / tests / ovsdb-mutation.at
1 AT_BANNER([OVSDB -- mutations])
2
3 OVSDB_CHECK_POSITIVE([null mutation],
4   [[parse-mutations \
5     '{"columns": {"name": {"type": "string"}}}' \
6     '[]']],
7   [[[]]])
8
9 OVSDB_CHECK_POSITIVE([mutations on scalars],
10   [[parse-mutations \
11     '{"columns":
12         {"i": {"type": "integer"},
13          "r": {"type": "real"},
14          "b": {"type": "boolean"},
15          "s": {"type": "string"},
16          "u": {"type": "uuid"}}}' \
17     '[["i", "+=", 0]]' \
18     '[["i", "-=", 1]]' \
19     '[["i", "*=", 2]]' \
20     '[["i", "/=", 3]]' \
21     '[["i", "%=", 4]]' \
22     '[["r", "+=", 0.5]]' \
23     '[["r", "-=", 1.5]]' \
24     '[["r", "*=", 2.5]]' \
25     '[["r", "/=", 3.5]]']],
26   [[[["i","+=",0]]
27 [["i","-=",1]]
28 [["i","*=",2]]
29 [["i","/=",3]]
30 [["i","%=",4]]
31 [["r","+=",0.5]]
32 [["r","-=",1.5]]
33 [["r","*=",2.5]]
34 [["r","/=",3.5]]]],
35   [mutation])
36
37 AT_SETUP([disallowed mutations on scalars])
38 AT_KEYWORDS([ovsdb negative mutation])
39 AT_CHECK([[test-ovsdb parse-mutations \
40     '{"columns":
41         {"i": {"type": "integer"},
42          "r": {"type": "real"},
43          "b": {"type": "boolean"},
44          "s": {"type": "string"},
45          "u": {"type": "uuid"}}}' \
46     '[["i", "xxx", 1]]' \
47     '[["i", "insert", 1]]' \
48     '[["i", "delete", 2]]' \
49     '[["r", "%=", 0.5]]' \
50     '[["r", "insert", 1.5]]' \
51     '[["r", "delete", 2.5]]' \
52     '[["b", "+=", true]]' \
53     '[["b", "-=", false]]' \
54     '[["b", "*=", true]]' \
55     '[["b", "/=", false]]' \
56     '[["b", "%=", true]]' \
57     '[["b", "insert", false]]' \
58     '[["b", "delete", true]]' \
59     '[["s", "+=", "a"]]' \
60     '[["s", "-=", "b"]]' \
61     '[["s", "*=", "c"]]' \
62     '[["s", "/=", "d"]]' \
63     '[["s", "%=", "e"]]' \
64     '[["s", "insert", "f"]]' \
65     '[["s", "delete", "g"]]' \
66     '[["u", "+=", ["uuid", "9179ca6d-6d65-400a-b455-3ad92783a099"]]]' \
67     '[["u", "-=", ["uuid", "9179ca6d-6d65-400a-b455-3ad92783a099"]]]' \
68     '[["u", "*=", ["uuid", "9179ca6d-6d65-400a-b455-3ad92783a099"]]]' \
69     '[["u", "/=", ["uuid", "9179ca6d-6d65-400a-b455-3ad92783a099"]]]' \
70     '[["u", "insert", ["uuid", "9179ca6d-6d65-400a-b455-3ad92783a099"]]]' \
71     '[["u", "delete", ["uuid", "9179ca6d-6d65-400a-b455-3ad92783a099"]]]']],
72   [1], [],
73   [[test-ovsdb: unknown mutator: No mutator named xxx.
74 test-ovsdb: syntax "["i","insert",1]": syntax error: Type mismatch: "insert" operator may not be applied to column i of type integer.
75 test-ovsdb: syntax "["i","delete",2]": syntax error: Type mismatch: "delete" operator may not be applied to column i of type integer.
76 test-ovsdb: syntax "["r","%=",0.5]": syntax error: Type mismatch: "%=" operator may not be applied to column r of type real.
77 test-ovsdb: syntax "["r","insert",1.5]": syntax error: Type mismatch: "insert" operator may not be applied to column r of type real.
78 test-ovsdb: syntax "["r","delete",2.5]": syntax error: Type mismatch: "delete" operator may not be applied to column r of type real.
79 test-ovsdb: syntax "["b","+=",true]": syntax error: Type mismatch: "+=" operator may not be applied to column b of type boolean.
80 test-ovsdb: syntax "["b","-=",false]": syntax error: Type mismatch: "-=" operator may not be applied to column b of type boolean.
81 test-ovsdb: syntax "["b","*=",true]": syntax error: Type mismatch: "*=" operator may not be applied to column b of type boolean.
82 test-ovsdb: syntax "["b","/=",false]": syntax error: Type mismatch: "/=" operator may not be applied to column b of type boolean.
83 test-ovsdb: syntax "["b","%=",true]": syntax error: Type mismatch: "%=" operator may not be applied to column b of type boolean.
84 test-ovsdb: syntax "["b","insert",false]": syntax error: Type mismatch: "insert" operator may not be applied to column b of type boolean.
85 test-ovsdb: syntax "["b","delete",true]": syntax error: Type mismatch: "delete" operator may not be applied to column b of type boolean.
86 test-ovsdb: syntax "["s","+=","a"]": syntax error: Type mismatch: "+=" operator may not be applied to column s of type string.
87 test-ovsdb: syntax "["s","-=","b"]": syntax error: Type mismatch: "-=" operator may not be applied to column s of type string.
88 test-ovsdb: syntax "["s","*=","c"]": syntax error: Type mismatch: "*=" operator may not be applied to column s of type string.
89 test-ovsdb: syntax "["s","/=","d"]": syntax error: Type mismatch: "/=" operator may not be applied to column s of type string.
90 test-ovsdb: syntax "["s","%=","e"]": syntax error: Type mismatch: "%=" operator may not be applied to column s of type string.
91 test-ovsdb: syntax "["s","insert","f"]": syntax error: Type mismatch: "insert" operator may not be applied to column s of type string.
92 test-ovsdb: syntax "["s","delete","g"]": syntax error: Type mismatch: "delete" operator may not be applied to column s of type string.
93 test-ovsdb: syntax "["u","+=",["uuid","9179ca6d-6d65-400a-b455-3ad92783a099"]]": syntax error: Type mismatch: "+=" operator may not be applied to column u of type uuid.
94 test-ovsdb: syntax "["u","-=",["uuid","9179ca6d-6d65-400a-b455-3ad92783a099"]]": syntax error: Type mismatch: "-=" operator may not be applied to column u of type uuid.
95 test-ovsdb: syntax "["u","*=",["uuid","9179ca6d-6d65-400a-b455-3ad92783a099"]]": syntax error: Type mismatch: "*=" operator may not be applied to column u of type uuid.
96 test-ovsdb: syntax "["u","/=",["uuid","9179ca6d-6d65-400a-b455-3ad92783a099"]]": syntax error: Type mismatch: "/=" operator may not be applied to column u of type uuid.
97 test-ovsdb: syntax "["u","insert",["uuid","9179ca6d-6d65-400a-b455-3ad92783a099"]]": syntax error: Type mismatch: "insert" operator may not be applied to column u of type uuid.
98 test-ovsdb: syntax "["u","delete",["uuid","9179ca6d-6d65-400a-b455-3ad92783a099"]]": syntax error: Type mismatch: "delete" operator may not be applied to column u of type uuid.
99 ]])
100 AT_CLEANUP
101
102 OVSDB_CHECK_POSITIVE([mutations on sets],
103   [[parse-mutations \
104     '{"columns":
105         {"i": {"type": {"key": "integer", "min": 0, "max": "unlimited"}},
106          "r": {"type": {"key": "real", "min": 0, "max": "unlimited"}},
107          "b": {"type": {"key": "boolean", "min": 0, "max": "unlimited"}},
108          "s": {"type": {"key": "string", "min": 0, "max": "unlimited"}},
109          "u": {"type": {"key": "uuid", "min": 0, "max": "unlimited"}}}}' \
110     '[["i", "+=", 1]]' \
111     '[["i", "-=", 2]]' \
112     '[["i", "*=", 3]]' \
113     '[["i", "/=", 4]]' \
114     '[["i", "%=", 5]]' \
115     '[["i", "insert", ["set", [1, 2]]]]' \
116     '[["i", "delete", ["set", [1, 2, 3]]]]' \
117     '[["r", "+=", 1]]' \
118     '[["r", "-=", 2]]' \
119     '[["r", "*=", 3]]' \
120     '[["r", "/=", 4]]' \
121     '[["r", "insert", ["set", [1, 2]]]]' \
122     '[["r", "delete", ["set", [1, 2, 3]]]]' \
123     '[["b", "insert", ["set", [true]]]]' \
124     '[["b", "delete", ["set", [false]]]]' \
125     '[["s", "insert", ["set", ["a"]]]]' \
126     '[["s", "delete", ["set", ["a", "b"]]]]' \
127     '[["u", "insert", 
128        ["set", [["uuid", "b10d28f7-af18-4a67-9e78-2a6394516c59"]]]]]' \
129     '[["u", "delete", 
130        ["set", [["uuid", "b10d28f7-af18-4a67-9e78-2a6394516c59"],
131                 ["uuid", "9179ca6d-6d65-400a-b455-3ad92783a099"]]]]]' \
132 ]],
133   [[[["i","+=",1]]
134 [["i","-=",2]]
135 [["i","*=",3]]
136 [["i","/=",4]]
137 [["i","%=",5]]
138 [["i","insert",["set",[1,2]]]]
139 [["i","delete",["set",[1,2,3]]]]
140 [["r","+=",1]]
141 [["r","-=",2]]
142 [["r","*=",3]]
143 [["r","/=",4]]
144 [["r","insert",["set",[1,2]]]]
145 [["r","delete",["set",[1,2,3]]]]
146 [["b","insert",true]]
147 [["b","delete",false]]
148 [["s","insert","a"]]
149 [["s","delete",["set",["a","b"]]]]
150 [["u","insert",["uuid","b10d28f7-af18-4a67-9e78-2a6394516c59"]]]
151 [["u","delete",["set",[["uuid","9179ca6d-6d65-400a-b455-3ad92783a099"],["uuid","b10d28f7-af18-4a67-9e78-2a6394516c59"]]]]]]],
152   [mutation])
153
154 OVSDB_CHECK_POSITIVE([executing null mutation],
155   [[execute-mutations \
156     '{"columns": {"i": {"type": "integer"}}}' \
157     '[[]]' \
158     '[{"i": 0},
159       {"i": 1},
160       {"i": 2}']]],
161   [mutation  0:
162 row 0: no change
163 row 1: no change
164 row 2: no change
165 ])
166
167 OVSDB_CHECK_POSITIVE([executing mutations on integers],
168   [[execute-mutations \
169     '{"columns": {"i": {"type": "integer"}}}' \
170     '[[["i", "+=", 1]],
171       [["i", "-=", 2]],
172       [["i", "*=", 3]],
173       [["i", "/=", 4]],
174       [["i", "%=", 2]]]' \
175     '[{"i": 0},
176       {"i": 1},
177       {"i": 2}']]],
178   [mutation  0:
179 row 0: {"i":1}
180 row 1: {"i":2}
181 row 2: {"i":3}
182
183 mutation  1:
184 row 0: {"i":-2}
185 row 1: {"i":-1}
186 row 2: {"i":0}
187
188 mutation  2:
189 row 0: no change
190 row 1: {"i":3}
191 row 2: {"i":6}
192
193 mutation  3:
194 row 0: no change
195 row 1: {"i":0}
196 row 2: {"i":0}
197
198 mutation  4:
199 row 0: no change
200 row 1: no change
201 row 2: {"i":0}
202 ], [mutation])
203
204 OVSDB_CHECK_POSITIVE([integer overflow detection],
205   [[execute-mutations \
206     '{"columns": {"i": {"type": "integer"}}}' \
207     '[[["i", "+=", 9223372036854775807]],
208       [["i", "+=", -9223372036854775808]],
209       [["i", "-=", -9223372036854775808]],
210       [["i", "-=", 9223372036854775807]],
211       [["i", "*=", 3037000500]],
212       [["i", "/=", -1]],
213       [["i", "/=", 0]]]' \
214     '[{"i": 0},
215       {"i": 1},
216       {"i": -1},
217       {"i": 9223372036854775807},
218       {"i": -9223372036854775808},
219       {"i": 3037000500},
220       {"i": -3037000500}']]],
221   [mutation  0:
222 row 0: {"i":9223372036854775807}
223 row 1: range error: Result of "+=" operation is out of range.
224 row 2: {"i":9223372036854775806}
225 row 3: range error: Result of "+=" operation is out of range.
226 row 4: {"i":-1}
227 row 5: range error: Result of "+=" operation is out of range.
228 row 6: {"i":9223372033817775307}
229
230 mutation  1:
231 row 0: {"i":-9223372036854775808}
232 row 1: {"i":-9223372036854775807}
233 row 2: range error: Result of "+=" operation is out of range.
234 row 3: {"i":-1}
235 row 4: range error: Result of "+=" operation is out of range.
236 row 5: {"i":-9223372033817775308}
237 row 6: range error: Result of "+=" operation is out of range.
238
239 mutation  2:
240 row 0: range error: Result of "-=" operation is out of range.
241 row 1: range error: Result of "-=" operation is out of range.
242 row 2: {"i":9223372036854775807}
243 row 3: range error: Result of "-=" operation is out of range.
244 row 4: {"i":0}
245 row 5: range error: Result of "-=" operation is out of range.
246 row 6: {"i":9223372033817775308}
247
248 mutation  3:
249 row 0: {"i":-9223372036854775807}
250 row 1: {"i":-9223372036854775806}
251 row 2: {"i":-9223372036854775808}
252 row 3: {"i":0}
253 row 4: range error: Result of "-=" operation is out of range.
254 row 5: {"i":-9223372033817775307}
255 row 6: range error: Result of "-=" operation is out of range.
256
257 mutation  4:
258 row 0: no change
259 row 1: {"i":3037000500}
260 row 2: {"i":-3037000500}
261 row 3: range error: Result of "*=" operation is out of range.
262 row 4: range error: Result of "*=" operation is out of range.
263 row 5: range error: Result of "*=" operation is out of range.
264 row 6: range error: Result of "*=" operation is out of range.
265
266 mutation  5:
267 row 0: no change
268 row 1: {"i":-1}
269 row 2: {"i":1}
270 row 3: {"i":-9223372036854775807}
271 row 4: range error: Result of "/=" operation is out of range.
272 row 5: {"i":-3037000500}
273 row 6: {"i":3037000500}
274
275 mutation  6:
276 row 0: domain error: Division by zero.
277 row 1: domain error: Division by zero.
278 row 2: domain error: Division by zero.
279 row 3: domain error: Division by zero.
280 row 4: domain error: Division by zero.
281 row 5: domain error: Division by zero.
282 row 6: domain error: Division by zero.
283 ], [mutation])
284
285 OVSDB_CHECK_POSITIVE([executing mutations on integers with constraints],
286   [[execute-mutations \
287     '{"columns": {"i": {"type": {"key": {"type": "integer",
288                                          "minInteger": 0,
289                                          "maxInteger": 2}}}}}' \
290     '[[["i", "+=", 1]],
291       [["i", "-=", 2]],
292       [["i", "*=", 3]],
293       [["i", "/=", 4]],
294       [["i", "%=", 2]]]' \
295     '[{"i": 0},
296       {"i": 1},
297       {"i": 2}']]],
298   [mutation  0:
299 row 0: {"i":1}
300 row 1: {"i":2}
301 row 2: constraint violation: 3 is not in the valid range 0 to 2 (inclusive)
302
303 mutation  1:
304 row 0: constraint violation: -2 is not in the valid range 0 to 2 (inclusive)
305 row 1: constraint violation: -1 is not in the valid range 0 to 2 (inclusive)
306 row 2: {"i":0}
307
308 mutation  2:
309 row 0: no change
310 row 1: constraint violation: 3 is not in the valid range 0 to 2 (inclusive)
311 row 2: constraint violation: 6 is not in the valid range 0 to 2 (inclusive)
312
313 mutation  3:
314 row 0: no change
315 row 1: {"i":0}
316 row 2: {"i":0}
317
318 mutation  4:
319 row 0: no change
320 row 1: no change
321 row 2: {"i":0}
322 ], [mutation])
323
324 OVSDB_CHECK_POSITIVE([executing mutations on reals],
325   [[execute-mutations \
326     '{"columns": {"r": {"type": "real"}}}' \
327     '[[["r", "+=", 0.5]],
328       [["r", "-=", 1.5]],
329       [["r", "*=", 2.5]],
330       [["r", "/=", 4]]]' \
331     '[{"r": 0},
332       {"r": -2.5},
333       {"r": 1.25}']]],
334   [mutation  0:
335 row 0: {"r":0.5}
336 row 1: {"r":-2}
337 row 2: {"r":1.75}
338
339 mutation  1:
340 row 0: {"r":-1.5}
341 row 1: {"r":-4}
342 row 2: {"r":-0.25}
343
344 mutation  2:
345 row 0: no change
346 row 1: {"r":-6.25}
347 row 2: {"r":3.125}
348
349 mutation  3:
350 row 0: no change
351 row 1: {"r":-0.625}
352 row 2: {"r":0.3125}
353 ], [mutation])
354
355 OVSDB_CHECK_POSITIVE([real overflow detection],
356   [[execute-mutations \
357     '{"columns": {"r": {"type": "real"}}}' \
358     '[[["r", "+=", 1.7976931348623157e+308]],
359       [["r", "-=", 1.7976931348623157e+308]],
360       [["r", "*=", 2]],
361       [["r", "/=", 4]],
362       [["r", "/=", 0.5]],
363       [["r", "/=", 0]]]' \
364     '[{"r": 0},
365       {"r": 1.7976931348623157e+308},
366       {"r": -1.7976931348623157e+308}']]],
367   [mutation  0:
368 row 0: {"r":1.79769313486232e+308}
369 row 1: range error: Result of "+=" operation is out of range.
370 row 2: {"r":0}
371
372 mutation  1:
373 row 0: {"r":-1.79769313486232e+308}
374 row 1: {"r":0}
375 row 2: range error: Result of "-=" operation is out of range.
376
377 mutation  2:
378 row 0: no change
379 row 1: range error: Result of "*=" operation is out of range.
380 row 2: range error: Result of "*=" operation is out of range.
381
382 mutation  3:
383 row 0: no change
384 row 1: {"r":4.49423283715579e+307}
385 row 2: {"r":-4.49423283715579e+307}
386
387 mutation  4:
388 row 0: no change
389 row 1: range error: Result of "/=" operation is out of range.
390 row 2: range error: Result of "/=" operation is out of range.
391
392 mutation  5:
393 row 0: domain error: Division by zero.
394 row 1: domain error: Division by zero.
395 row 2: domain error: Division by zero.
396 ], [mutation])
397
398 OVSDB_CHECK_POSITIVE([executing mutations on reals with constraints],
399   [[execute-mutations \
400     '{"columns": {"r": {"type": {"key": {"type": "real",
401                                          "minReal": -2.5,
402                                          "maxReal": 1.75}}}}}' \
403     '[[["r", "+=", 0.5]],
404       [["r", "-=", 1.5]],
405       [["r", "*=", 2.5]],
406       [["r", "/=", 4]]]' \
407     '[{"r": 0},
408       {"r": -2.5},
409       {"r": 1.25}']]],
410   [mutation  0:
411 row 0: {"r":0.5}
412 row 1: {"r":-2}
413 row 2: {"r":1.75}
414
415 mutation  1:
416 row 0: {"r":-1.5}
417 row 1: constraint violation: -4 is not in the valid range -2.5 to 1.75 (inclusive)
418 row 2: {"r":-0.25}
419
420 mutation  2:
421 row 0: no change
422 row 1: constraint violation: -6.25 is not in the valid range -2.5 to 1.75 (inclusive)
423 row 2: constraint violation: 3.125 is not in the valid range -2.5 to 1.75 (inclusive)
424
425 mutation  3:
426 row 0: no change
427 row 1: {"r":-0.625}
428 row 2: {"r":0.3125}
429 ], [mutation])
430
431 OVSDB_CHECK_POSITIVE([executing mutations on integer sets],
432   [[execute-mutations \
433     '{"columns": {"i": {"type": {"key": {"type": "integer", 
434                                          "maxInteger": 5},
435                                  "min": 0, 
436                                  "max": "unlimited"}}}}' \
437     '[[["i", "+=", 1]],
438       [["i", "-=", 2]],
439       [["i", "*=", 3]],
440       [["i", "/=", 4]],
441       [["i", "%=", 2]],
442       [["i", "insert", ["set", [1]]]],
443       [["i", "insert", ["set", [2, 3]]]],
444       [["i", "delete", ["set", [1]]]],
445       [["i", "delete", ["set", [2, 3]]]]]' \
446     '[{"i": ["set", []]},
447       {"i": ["set", [0]]},
448       {"i": ["set", [0, 1]]},
449       {"i": ["set", [0, 1, 2]]}']]],
450   [[mutation  0:
451 row 0: no change
452 row 1: {"i":1}
453 row 2: {"i":["set",[1,2]]}
454 row 3: {"i":["set",[1,2,3]]}
455
456 mutation  1:
457 row 0: no change
458 row 1: {"i":-2}
459 row 2: {"i":["set",[-2,-1]]}
460 row 3: {"i":["set",[-2,-1,0]]}
461
462 mutation  2:
463 row 0: no change
464 row 1: no change
465 row 2: {"i":["set",[0,3]]}
466 row 3: constraint violation: 6 is greater than maximum allowed value 5
467
468 mutation  3:
469 row 0: no change
470 row 1: no change
471 row 2: constraint violation: Result of "/=" operation contains duplicates.
472 row 3: constraint violation: Result of "/=" operation contains duplicates.
473
474 mutation  4:
475 row 0: no change
476 row 1: no change
477 row 2: no change
478 row 3: constraint violation: Result of "%=" operation contains duplicates.
479
480 mutation  5:
481 row 0: {"i":1}
482 row 1: {"i":["set",[0,1]]}
483 row 2: no change
484 row 3: no change
485
486 mutation  6:
487 row 0: {"i":["set",[2,3]]}
488 row 1: {"i":["set",[0,2,3]]}
489 row 2: {"i":["set",[0,1,2,3]]}
490 row 3: {"i":["set",[0,1,2,3]]}
491
492 mutation  7:
493 row 0: no change
494 row 1: no change
495 row 2: {"i":0}
496 row 3: {"i":["set",[0,2]]}
497
498 mutation  8:
499 row 0: no change
500 row 1: no change
501 row 2: no change
502 row 3: {"i":["set",[0,1]]}
503 ]], [mutation])
504
505 OVSDB_CHECK_POSITIVE([executing mutations on integer sets with constraints],
506   [[execute-mutations \
507     '{"columns": {"i": {"type": {"key": "integer",
508                                  "min": 1,
509                                  "max": 2}}}}' \
510     '[[["i", "insert", ["set", [1]]]],
511       [["i", "insert", ["set", [2]]]],
512       [["i", "delete", ["set", [1]]]],
513       [["i", "delete", ["set", [2]]]],
514       [["i", "delete", ["set", [0, 1]]]]]' \
515     '[{"i": ["set", [0]]},
516       {"i": ["set", [2]]},
517       {"i": ["set", [0, 1]]}']]],
518   [[mutation  0:
519 row 0: {"i":["set",[0,1]]}
520 row 1: {"i":["set",[1,2]]}
521 row 2: no change
522
523 mutation  1:
524 row 0: {"i":["set",[0,2]]}
525 row 1: no change
526 row 2: constraint violation: Attempted to store 3 elements in set of 1 to 2 integers.
527
528 mutation  2:
529 row 0: no change
530 row 1: no change
531 row 2: {"i":0}
532
533 mutation  3:
534 row 0: no change
535 row 1: constraint violation: Attempted to store 0 elements in set of 1 to 2 integers.
536 row 2: no change
537
538 mutation  4:
539 row 0: constraint violation: Attempted to store 0 elements in set of 1 to 2 integers.
540 row 1: no change
541 row 2: constraint violation: Attempted to store 0 elements in set of 1 to 2 integers.
542 ]], [mutation])
543
544 OVSDB_CHECK_POSITIVE([executing mutations on real sets],
545   [[execute-mutations \
546     '{"columns": {"r": {"type": {"key": {"type": "real",
547                                          "maxReal": 6},
548                                  "min": 0, "max": "unlimited"}}}}' \
549     '[[["r", "+=", 0.5]],
550       [["r", "-=", 1.5]],
551       [["r", "*=", 2.5]],
552       [["r", "/=", 4]],
553       [["r", "*=", 0]],
554       [["r", "insert", 1.5]],
555       [["r", "insert", 3]],
556       [["r", "delete", ["set", [1.5, 3.5]]]],
557       [["r", "delete", ["set", [0.5, 1.5, 2.5]]]]]' \
558     '[{"r": ["set", []]},
559       {"r": 0.5},
560       {"r": ["set", [0.5, 1.5]]},
561       {"r": ["set", [0.5, 1.5, 2.5]]}']]],
562   [[mutation  0:
563 row 0: no change
564 row 1: {"r":1}
565 row 2: {"r":["set",[1,2]]}
566 row 3: {"r":["set",[1,2,3]]}
567
568 mutation  1:
569 row 0: no change
570 row 1: {"r":-1}
571 row 2: {"r":["set",[-1,0]]}
572 row 3: {"r":["set",[-1,0,1]]}
573
574 mutation  2:
575 row 0: no change
576 row 1: {"r":1.25}
577 row 2: {"r":["set",[1.25,3.75]]}
578 row 3: constraint violation: 6.25 is greater than maximum allowed value 6
579
580 mutation  3:
581 row 0: no change
582 row 1: {"r":0.125}
583 row 2: {"r":["set",[0.125,0.375]]}
584 row 3: {"r":["set",[0.125,0.375,0.625]]}
585
586 mutation  4:
587 row 0: no change
588 row 1: {"r":0}
589 row 2: constraint violation: Result of "*=" operation contains duplicates.
590 row 3: constraint violation: Result of "*=" operation contains duplicates.
591
592 mutation  5:
593 row 0: {"r":1.5}
594 row 1: {"r":["set",[0.5,1.5]]}
595 row 2: no change
596 row 3: no change
597
598 mutation  6:
599 row 0: {"r":3}
600 row 1: {"r":["set",[0.5,3]]}
601 row 2: {"r":["set",[0.5,1.5,3]]}
602 row 3: {"r":["set",[0.5,1.5,2.5,3]]}
603
604 mutation  7:
605 row 0: no change
606 row 1: no change
607 row 2: {"r":0.5}
608 row 3: {"r":["set",[0.5,2.5]]}
609
610 mutation  8:
611 row 0: no change
612 row 1: {"r":["set",[]]}
613 row 2: {"r":["set",[]]}
614 row 3: {"r":["set",[]]}
615 ]], [mutation])
616
617 OVSDB_CHECK_POSITIVE([executing mutations on boolean sets],
618   [[execute-mutations \
619     '{"columns": {"b": {"type": {"key": "boolean", "min": 0, "max": "unlimited"}}}}' \
620     '[[["b", "insert", ["set", [false]]]],
621       [["b", "insert", ["set", [true]]]],
622       [["b", "insert", ["set", [false, true]]]],
623       [["b", "delete", ["set", [false]]]],
624       [["b", "delete", ["set", [true]]]],
625       [["b", "delete", ["set", [true, false]]]]]' \
626     '[{"b": ["set", []]},
627       {"b": ["set", [false]]},
628       {"b": ["set", [true]]},
629       {"b": ["set", [false, true]]}']]],
630   [[mutation  0:
631 row 0: {"b":false}
632 row 1: no change
633 row 2: {"b":["set",[false,true]]}
634 row 3: no change
635
636 mutation  1:
637 row 0: {"b":true}
638 row 1: {"b":["set",[false,true]]}
639 row 2: no change
640 row 3: no change
641
642 mutation  2:
643 row 0: {"b":["set",[false,true]]}
644 row 1: {"b":["set",[false,true]]}
645 row 2: {"b":["set",[false,true]]}
646 row 3: no change
647
648 mutation  3:
649 row 0: no change
650 row 1: {"b":["set",[]]}
651 row 2: no change
652 row 3: {"b":true}
653
654 mutation  4:
655 row 0: no change
656 row 1: no change
657 row 2: {"b":["set",[]]}
658 row 3: {"b":false}
659
660 mutation  5:
661 row 0: no change
662 row 1: {"b":["set",[]]}
663 row 2: {"b":["set",[]]}
664 row 3: {"b":["set",[]]}
665 ]], [mutation])
666
667 OVSDB_CHECK_POSITIVE([executing mutations on string sets],
668   [[execute-mutations \
669     '{"columns": {"s": {"type": {"key": "string", "min": 0, "max": "unlimited"}}}}' \
670     '[[["s", "insert", ["set", ["a"]]]],
671       [["s", "insert", ["set", ["b"]]]],
672       [["s", "insert", ["set", ["c", "d"]]]],
673       [["s", "delete", ["set", ["a"]]]],
674       [["s", "delete", ["set", ["b"]]]],
675       [["s", "delete", ["set", ["c", "d"]]]]]' \
676     '[{"s": ["set", []]},
677       {"s": ["set", ["a"]]},
678       {"s": ["set", ["a", "b"]]},
679       {"s": ["set", ["a", "b", "c", "d"]]}']]],
680   [[mutation  0:
681 row 0: {"s":"a"}
682 row 1: no change
683 row 2: no change
684 row 3: no change
685
686 mutation  1:
687 row 0: {"s":"b"}
688 row 1: {"s":["set",["a","b"]]}
689 row 2: no change
690 row 3: no change
691
692 mutation  2:
693 row 0: {"s":["set",["c","d"]]}
694 row 1: {"s":["set",["a","c","d"]]}
695 row 2: {"s":["set",["a","b","c","d"]]}
696 row 3: no change
697
698 mutation  3:
699 row 0: no change
700 row 1: {"s":["set",[]]}
701 row 2: {"s":"b"}
702 row 3: {"s":["set",["b","c","d"]]}
703
704 mutation  4:
705 row 0: no change
706 row 1: no change
707 row 2: {"s":"a"}
708 row 3: {"s":["set",["a","c","d"]]}
709
710 mutation  5:
711 row 0: no change
712 row 1: no change
713 row 2: no change
714 row 3: {"s":["set",["a","b"]]}
715 ]], [mutation])
716
717 OVSDB_CHECK_POSITIVE([executing mutations on uuid sets],
718   [[execute-mutations \
719     '{"columns": {"u": {"type": {"key": "uuid", "min": 0, "max": "unlimited"}}}}' \
720     '[[["u", "insert", ["set", [["uuid", "ddd9e79d-7782-414c-8b22-1046c60b6ec2"]]]]],
721       [["u", "insert", ["set", [["uuid", "a60fe7ff-317b-4568-9106-892b37445313"]]]]],
722       [["u", "insert", ["set", [["uuid", "2607d30e-e652-4927-9fec-8bbf1b60c7e9"]]]]],
723       [["u", "delete", ["set", [["uuid", "ddd9e79d-7782-414c-8b22-1046c60b6ec2"]]]]],
724       [["u", "delete", ["set", [["uuid", "a60fe7ff-317b-4568-9106-892b37445313"]]]]],
725       [["u", "delete", ["set", [["uuid", "2607d30e-e652-4927-9fec-8bbf1b60c7e9"]]]]]]' \
726     '[{"u": ["set", []]},
727       {"u": ["set", [["uuid", "ddd9e79d-7782-414c-8b22-1046c60b6ec2"]]]},
728       {"u": ["set", [["uuid", "a60fe7ff-317b-4568-9106-892b37445313"]]]},
729       {"u": ["set", [["uuid", "2607d30e-e652-4927-9fec-8bbf1b60c7e9"]]]}']]],
730   [[mutation  0:
731 row 0: {"u":["uuid","ddd9e79d-7782-414c-8b22-1046c60b6ec2"]}
732 row 1: no change
733 row 2: {"u":["set",[["uuid","a60fe7ff-317b-4568-9106-892b37445313"],["uuid","ddd9e79d-7782-414c-8b22-1046c60b6ec2"]]]}
734 row 3: {"u":["set",[["uuid","2607d30e-e652-4927-9fec-8bbf1b60c7e9"],["uuid","ddd9e79d-7782-414c-8b22-1046c60b6ec2"]]]}
735
736 mutation  1:
737 row 0: {"u":["uuid","a60fe7ff-317b-4568-9106-892b37445313"]}
738 row 1: {"u":["set",[["uuid","a60fe7ff-317b-4568-9106-892b37445313"],["uuid","ddd9e79d-7782-414c-8b22-1046c60b6ec2"]]]}
739 row 2: no change
740 row 3: {"u":["set",[["uuid","2607d30e-e652-4927-9fec-8bbf1b60c7e9"],["uuid","a60fe7ff-317b-4568-9106-892b37445313"]]]}
741
742 mutation  2:
743 row 0: {"u":["uuid","2607d30e-e652-4927-9fec-8bbf1b60c7e9"]}
744 row 1: {"u":["set",[["uuid","2607d30e-e652-4927-9fec-8bbf1b60c7e9"],["uuid","ddd9e79d-7782-414c-8b22-1046c60b6ec2"]]]}
745 row 2: {"u":["set",[["uuid","2607d30e-e652-4927-9fec-8bbf1b60c7e9"],["uuid","a60fe7ff-317b-4568-9106-892b37445313"]]]}
746 row 3: no change
747
748 mutation  3:
749 row 0: no change
750 row 1: {"u":["set",[]]}
751 row 2: no change
752 row 3: no change
753
754 mutation  4:
755 row 0: no change
756 row 1: no change
757 row 2: {"u":["set",[]]}
758 row 3: no change
759
760 mutation  5:
761 row 0: no change
762 row 1: no change
763 row 2: no change
764 row 3: {"u":["set",[]]}
765 ]], [mutation])
766
767 OVSDB_CHECK_POSITIVE([executing mutations on integer maps],
768   [[execute-mutations \
769     '{"columns": {"i": {"type": {"key": "integer", "value": "integer", "min": 0, "max": "unlimited"}}}}' \
770     '[[["i", "insert", ["map", [[1, 2]]]]],
771       [["i", "insert", ["map", [[2, 4], [3, 5]]]]],
772       [["i", "delete", ["map", [[1, 2]]]]],
773       [["i", "delete", ["map", [[2, 3]]]]],
774       [["i", "delete", ["set", [1]]]],
775       [["i", "delete", ["set", [2, 3]]]]]' \
776     '[{"i": ["map", []]},
777       {"i": ["map", [[1, 2]]]},
778       {"i": ["map", [[1, 3], [2, 3]]]},
779       {"i": ["map", [[3, 5]]]}']]],
780   [[mutation  0:
781 row 0: {"i":["map",[[1,2]]]}
782 row 1: no change
783 row 2: no change
784 row 3: {"i":["map",[[1,2],[3,5]]]}
785
786 mutation  1:
787 row 0: {"i":["map",[[2,4],[3,5]]]}
788 row 1: {"i":["map",[[1,2],[2,4],[3,5]]]}
789 row 2: {"i":["map",[[1,3],[2,3],[3,5]]]}
790 row 3: {"i":["map",[[2,4],[3,5]]]}
791
792 mutation  2:
793 row 0: no change
794 row 1: {"i":["map",[]]}
795 row 2: no change
796 row 3: no change
797
798 mutation  3:
799 row 0: no change
800 row 1: no change
801 row 2: {"i":["map",[[1,3]]]}
802 row 3: no change
803
804 mutation  4:
805 row 0: no change
806 row 1: {"i":["map",[]]}
807 row 2: {"i":["map",[[2,3]]]}
808 row 3: no change
809
810 mutation  5:
811 row 0: no change
812 row 1: no change
813 row 2: {"i":["map",[[1,3]]]}
814 row 3: {"i":["map",[]]}
815 ]], [mutation])