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