Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc2326.json @ 3fd18385

History | View | Annotate | Download (34.5 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c07s01b00x00p07n01i02326ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c07s01b00x00p07n01i02326arch"], "entity" : ["IDENTIFIER", "c07s01b00x00p07n01i02326ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
11
            "declaration" : ["VARIABLE_DECLARATION", {
12
              "names" : [["IDENTIFIER", "r1"], ["IDENTIFIER", "r2"], ["IDENTIFIER", "r3"], ["IDENTIFIER", "r4"]], "typ" : {
13
                "name" : ["SIMPLE_NAME", "real"]}
14
              }
15
            ]}
16
          ], "PROCESS_STATEMENT_PART" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
17
            "lhs" : ["SIMPLE_NAME", "r1"], "rhs" : ["EXPRESSION", {
18
              "args" : [["EXPRESSION", {
19
                "args" : [["EXPRESSION", {
20
                  "args" : [["EXPRESSION", {
21
                    "args" : [["CONSTANT_VALUE", {
22
                      "value" : ["CST_LITERAL", "69.0"]}
23
                    ]]}
24
                  ]]}
25
                ]]}
26
              ]]}
27
            ]}
28
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
29
            "lhs" : ["SIMPLE_NAME", "r2"], "rhs" : ["EXPRESSION", {
30
              "args" : [["EXPRESSION", {
31
                "args" : [["EXPRESSION", {
32
                  "args" : [["EXPRESSION", {
33
                    "args" : [["CONSTANT_VALUE", {
34
                      "value" : ["CST_LITERAL", "50.0"]}
35
                    ]]}
36
                  ]]}
37
                ]]}
38
              ]]}
39
            ]}
40
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
41
            "lhs" : ["SIMPLE_NAME", "r3"], "rhs" : ["EXPRESSION", {
42
              "args" : [["EXPRESSION", {
43
                "args" : [["EXPRESSION", {
44
                  "args" : [["EXPRESSION", {
45
                    "args" : [["EXPRESSION", {
46
                      "args" : [["EXPRESSION", {
47
                        "args" : [["EXPRESSION", {
48
                          "id" : "-", "args" : [["EXPRESSION", {
49
                            "args" : [["CONSTANT_VALUE", {
50
                              "value" : ["CST_LITERAL", "69.0"]}
51
                            ]]}
52
                          ]]}
53
                        ]]}
54
                      ]]}
55
                    ]]}
56
                  ]]}
57
                ]]}
58
              ]]}
59
            ]}
60
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
61
            "lhs" : ["SIMPLE_NAME", "r4"], "rhs" : ["EXPRESSION", {
62
              "args" : [["EXPRESSION", {
63
                "args" : [["EXPRESSION", {
64
                  "args" : [["EXPRESSION", {
65
                    "args" : [["EXPRESSION", {
66
                      "args" : [["EXPRESSION", {
67
                        "args" : [["EXPRESSION", {
68
                          "id" : "-", "args" : [["EXPRESSION", {
69
                            "args" : [["CONSTANT_VALUE", {
70
                              "value" : ["CST_LITERAL", "50.0"]}
71
                            ]]}
72
                          ]]}
73
                        ]]}
74
                      ]]}
75
                    ]]}
76
                  ]]}
77
                ]]}
78
              ]]}
79
            ]}
80
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
81
            "cond" : ["EXPRESSION", {
82
              "args" : [["EXPRESSION", {
83
                "args" : [["EXPRESSION", {
84
                  "args" : [["EXPRESSION", {
85
                    "id" : "NOT", "args" : [["EXPRESSION", {
86
                      "id" : "and", "args" : [["EXPRESSION", {
87
                        "id" : "and", "args" : [["EXPRESSION", {
88
                          "id" : "and", "args" : [["EXPRESSION", {
89
                            "id" : "and", "args" : [["EXPRESSION", {
90
                              "id" : "and", "args" : [["EXPRESSION", {
91
                                "args" : [["EXPRESSION", {
92
                                  "args" : [["EXPRESSION", {
93
                                    "args" : [["EXPRESSION", {
94
                                      "args" : [["EXPRESSION", {
95
                                        "id" : "=", "args" : [["EXPRESSION", {
96
                                          "args" : [["EXPRESSION", {
97
                                            "args" : [["EXPRESSION", {
98
                                              "args" : [["CALL", ["SIMPLE_NAME", "r1"]]]}
99
                                            ]]}
100
                                          ]]}
101
                                        ], ["EXPRESSION", {
102
                                          "args" : [["EXPRESSION", {
103
                                            "args" : [["EXPRESSION", {
104
                                              "id" : "abs", "args" : [["EXPRESSION", {
105
                                                "args" : [["EXPRESSION", {
106
                                                  "args" : [["EXPRESSION", {
107
                                                    "args" : [["EXPRESSION", {
108
                                                      "args" : [["CALL", ["SIMPLE_NAME", "r3"]]]}
109
                                                    ]]}
110
                                                  ]]}
111
                                                ]]}
112
                                              ]]}
113
                                            ]]}
114
                                          ]]}
115
                                        ]]}
116
                                      ]]}
117
                                    ]]}
118
                                  ]]}
119
                                ]]}
120
                              ], ["EXPRESSION", {
121
                                "args" : [["EXPRESSION", {
122
                                  "args" : [["EXPRESSION", {
123
                                    "args" : [["EXPRESSION", {
124
                                      "args" : [["EXPRESSION", {
125
                                        "id" : "=", "args" : [["EXPRESSION", {
126
                                          "args" : [["EXPRESSION", {
127
                                            "args" : [["EXPRESSION", {
128
                                              "args" : [["CALL", ["SIMPLE_NAME", "r2"]]]}
129
                                            ]]}
130
                                          ]]}
131
                                        ], ["EXPRESSION", {
132
                                          "args" : [["EXPRESSION", {
133
                                            "args" : [["EXPRESSION", {
134
                                              "id" : "abs", "args" : [["EXPRESSION", {
135
                                                "args" : [["EXPRESSION", {
136
                                                  "args" : [["EXPRESSION", {
137
                                                    "args" : [["EXPRESSION", {
138
                                                      "args" : [["CALL", ["SIMPLE_NAME", "r4"]]]}
139
                                                    ]]}
140
                                                  ]]}
141
                                                ]]}
142
                                              ]]}
143
                                            ]]}
144
                                          ]]}
145
                                        ]]}
146
                                      ]]}
147
                                    ]]}
148
                                  ]]}
149
                                ]]}
150
                              ]]}
151
                            ], ["EXPRESSION", {
152
                              "args" : [["EXPRESSION", {
153
                                "args" : [["EXPRESSION", {
154
                                  "args" : [["EXPRESSION", {
155
                                    "args" : [["EXPRESSION", {
156
                                      "id" : "=", "args" : [["EXPRESSION", {
157
                                        "args" : [["EXPRESSION", {
158
                                          "args" : [["EXPRESSION", {
159
                                            "args" : [["CONSTANT_VALUE", {
160
                                              "value" : ["CST_LITERAL", "50.0"]}
161
                                            ]]}
162
                                          ]]}
163
                                        ]]}
164
                                      ], ["EXPRESSION", {
165
                                        "args" : [["EXPRESSION", {
166
                                          "args" : [["EXPRESSION", {
167
                                            "id" : "abs", "args" : [["EXPRESSION", {
168
                                              "args" : [["EXPRESSION", {
169
                                                "args" : [["EXPRESSION", {
170
                                                  "id" : "-", "args" : [["EXPRESSION", {
171
                                                    "args" : [["CONSTANT_VALUE", {
172
                                                      "value" : ["CST_LITERAL", "50.0"]}
173
                                                    ]]}
174
                                                  ]]}
175
                                                ]]}
176
                                              ]]}
177
                                            ]]}
178
                                          ]]}
179
                                        ]]}
180
                                      ]]}
181
                                    ]]}
182
                                  ]]}
183
                                ]]}
184
                              ]]}
185
                            ]]}
186
                          ], ["EXPRESSION", {
187
                            "args" : [["EXPRESSION", {
188
                              "args" : [["EXPRESSION", {
189
                                "args" : [["EXPRESSION", {
190
                                  "args" : [["EXPRESSION", {
191
                                    "id" : "=", "args" : [["EXPRESSION", {
192
                                      "args" : [["EXPRESSION", {
193
                                        "args" : [["EXPRESSION", {
194
                                          "args" : [["EXPRESSION", {
195
                                            "args" : [["EXPRESSION", {
196
                                              "args" : [["EXPRESSION", {
197
                                                "id" : "-", "args" : [["EXPRESSION", {
198
                                                  "args" : [["CONSTANT_VALUE", {
199
                                                    "value" : ["CST_LITERAL", "25.0"]}
200
                                                  ]]}
201
                                                ]]}
202
                                              ]]}
203
                                            ]]}
204
                                          ]]}
205
                                        ]]}
206
                                      ]]}
207
                                    ], ["EXPRESSION", {
208
                                      "args" : [["EXPRESSION", {
209
                                        "args" : [["EXPRESSION", {
210
                                          "args" : [["EXPRESSION", {
211
                                            "args" : [["EXPRESSION", {
212
                                              "args" : [["EXPRESSION", {
213
                                                "id" : "-", "args" : [["EXPRESSION", {
214
                                                  "id" : "abs", "args" : [["EXPRESSION", {
215
                                                    "args" : [["EXPRESSION", {
216
                                                      "args" : [["EXPRESSION", {
217
                                                        "id" : "-", "args" : [["EXPRESSION", {
218
                                                          "args" : [["CONSTANT_VALUE", {
219
                                                            "value" : ["CST_LITERAL", "25.0"]}
220
                                                          ]]}
221
                                                        ]]}
222
                                                      ]]}
223
                                                    ]]}
224
                                                  ]]}
225
                                                ]]}
226
                                              ]]}
227
                                            ]]}
228
                                          ]]}
229
                                        ]]}
230
                                      ]]}
231
                                    ]]}
232
                                  ]]}
233
                                ]]}
234
                              ]]}
235
                            ]]}
236
                          ]]}
237
                        ], ["EXPRESSION", {
238
                          "args" : [["EXPRESSION", {
239
                            "args" : [["EXPRESSION", {
240
                              "args" : [["EXPRESSION", {
241
                                "args" : [["EXPRESSION", {
242
                                  "id" : "=", "args" : [["EXPRESSION", {
243
                                    "args" : [["EXPRESSION", {
244
                                      "args" : [["EXPRESSION", {
245
                                        "id" : "-", "args" : [["EXPRESSION", {
246
                                          "args" : [["CONSTANT_VALUE", {
247
                                            "value" : ["CST_LITERAL", "3.14"], "unit_name" : ["SIMPLE_NAME", "E"]}
248
                                          ]]}
249
                                        ], ["EXPRESSION", {
250
                                          "args" : [["CONSTANT_VALUE", {
251
                                            "value" : ["CST_LITERAL", "2"]}
252
                                          ]]}
253
                                        ]]}
254
                                      ]]}
255
                                    ]]}
256
                                  ], ["EXPRESSION", {
257
                                    "args" : [["EXPRESSION", {
258
                                      "args" : [["EXPRESSION", {
259
                                        "id" : "abs", "args" : [["EXPRESSION", {
260
                                          "args" : [["EXPRESSION", {
261
                                            "args" : [["EXPRESSION", {
262
                                              "id" : "-", "args" : [["EXPRESSION", {
263
                                                "id" : "-", "args" : [["EXPRESSION", {
264
                                                  "args" : [["CONSTANT_VALUE", {
265
                                                    "value" : ["CST_LITERAL", "3.14"], "unit_name" : ["SIMPLE_NAME", "E"]}
266
                                                  ]]}
267
                                                ], ["EXPRESSION", {
268
                                                  "args" : [["CONSTANT_VALUE", {
269
                                                    "value" : ["CST_LITERAL", "2"]}
270
                                                  ]]}
271
                                                ]]}
272
                                              ]]}
273
                                            ]]}
274
                                          ]]}
275
                                        ]]}
276
                                      ]]}
277
                                    ]]}
278
                                  ]]}
279
                                ]]}
280
                              ]]}
281
                            ]]}
282
                          ]]}
283
                        ]]}
284
                      ], ["EXPRESSION", {
285
                        "args" : [["EXPRESSION", {
286
                          "args" : [["EXPRESSION", {
287
                            "args" : [["EXPRESSION", {
288
                              "args" : [["EXPRESSION", {
289
                                "id" : "=", "args" : [["EXPRESSION", {
290
                                  "args" : [["EXPRESSION", {
291
                                    "args" : [["EXPRESSION", {
292
                                      "args" : [["EXPRESSION", {
293
                                        "args" : [["EXPRESSION", {
294
                                          "args" : [["EXPRESSION", {
295
                                            "id" : "-", "args" : [["EXPRESSION", {
296
                                              "args" : [["CONSTANT_VALUE", {
297
                                                "value" : ["CST_LITERAL", "0.379"]}
298
                                              ]]}
299
                                            ]]}
300
                                          ]]}
301
                                        ]]}
302
                                      ]]}
303
                                    ]]}
304
                                  ]]}
305
                                ], ["EXPRESSION", {
306
                                  "args" : [["EXPRESSION", {
307
                                    "args" : [["EXPRESSION", {
308
                                      "args" : [["EXPRESSION", {
309
                                        "args" : [["EXPRESSION", {
310
                                          "args" : [["EXPRESSION", {
311
                                            "id" : "-", "args" : [["EXPRESSION", {
312
                                              "id" : "abs", "args" : [["EXPRESSION", {
313
                                                "args" : [["EXPRESSION", {
314
                                                  "args" : [["EXPRESSION", {
315
                                                    "id" : "-", "args" : [["EXPRESSION", {
316
                                                      "args" : [["CONSTANT_VALUE", {
317
                                                        "value" : ["CST_LITERAL", "0.379"]}
318
                                                      ]]}
319
                                                    ]]}
320
                                                  ]]}
321
                                                ]]}
322
                                              ]]}
323
                                            ]]}
324
                                          ]]}
325
                                        ]]}
326
                                      ]]}
327
                                    ]]}
328
                                  ]]}
329
                                ]]}
330
                              ]]}
331
                            ]]}
332
                          ]]}
333
                        ]]}
334
                      ]]}
335
                    ]]}
336
                  ]]}
337
                ]]}
338
              ]]}
339
            ], "report" : ["EXPRESSION", {
340
              "args" : [["EXPRESSION", {
341
                "args" : [["EXPRESSION", {
342
                  "args" : [["EXPRESSION", {
343
                    "args" : [["CONSTANT_VALUE", {
344
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c07s01b00x00p07n01i02326\""]}
345
                    ]]}
346
                  ]]}
347
                ]]}
348
              ]]}
349
            ], "severity" : ["EXPRESSION", {
350
              "args" : [["EXPRESSION", {
351
                "args" : [["EXPRESSION", {
352
                  "args" : [["EXPRESSION", {
353
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
354
                  ]]}
355
                ]]}
356
              ]]}
357
            ]}
358
          ], ["ASSERTION_STATEMENT", {
359
            "cond" : ["EXPRESSION", {
360
              "args" : [["EXPRESSION", {
361
                "args" : [["EXPRESSION", {
362
                  "args" : [["EXPRESSION", {
363
                    "args" : [["EXPRESSION", {
364
                      "id" : "and", "args" : [["EXPRESSION", {
365
                        "id" : "and", "args" : [["EXPRESSION", {
366
                          "id" : "and", "args" : [["EXPRESSION", {
367
                            "id" : "and", "args" : [["EXPRESSION", {
368
                              "id" : "and", "args" : [["EXPRESSION", {
369
                                "args" : [["EXPRESSION", {
370
                                  "args" : [["EXPRESSION", {
371
                                    "args" : [["EXPRESSION", {
372
                                      "args" : [["EXPRESSION", {
373
                                        "id" : "=", "args" : [["EXPRESSION", {
374
                                          "args" : [["EXPRESSION", {
375
                                            "args" : [["EXPRESSION", {
376
                                              "args" : [["CALL", ["SIMPLE_NAME", "r1"]]]}
377
                                            ]]}
378
                                          ]]}
379
                                        ], ["EXPRESSION", {
380
                                          "args" : [["EXPRESSION", {
381
                                            "args" : [["EXPRESSION", {
382
                                              "id" : "abs", "args" : [["EXPRESSION", {
383
                                                "args" : [["EXPRESSION", {
384
                                                  "args" : [["EXPRESSION", {
385
                                                    "args" : [["EXPRESSION", {
386
                                                      "args" : [["CALL", ["SIMPLE_NAME", "r3"]]]}
387
                                                    ]]}
388
                                                  ]]}
389
                                                ]]}
390
                                              ]]}
391
                                            ]]}
392
                                          ]]}
393
                                        ]]}
394
                                      ]]}
395
                                    ]]}
396
                                  ]]}
397
                                ]]}
398
                              ], ["EXPRESSION", {
399
                                "args" : [["EXPRESSION", {
400
                                  "args" : [["EXPRESSION", {
401
                                    "args" : [["EXPRESSION", {
402
                                      "args" : [["EXPRESSION", {
403
                                        "id" : "=", "args" : [["EXPRESSION", {
404
                                          "args" : [["EXPRESSION", {
405
                                            "args" : [["EXPRESSION", {
406
                                              "args" : [["CALL", ["SIMPLE_NAME", "r2"]]]}
407
                                            ]]}
408
                                          ]]}
409
                                        ], ["EXPRESSION", {
410
                                          "args" : [["EXPRESSION", {
411
                                            "args" : [["EXPRESSION", {
412
                                              "id" : "abs", "args" : [["EXPRESSION", {
413
                                                "args" : [["EXPRESSION", {
414
                                                  "args" : [["EXPRESSION", {
415
                                                    "args" : [["EXPRESSION", {
416
                                                      "args" : [["CALL", ["SIMPLE_NAME", "r4"]]]}
417
                                                    ]]}
418
                                                  ]]}
419
                                                ]]}
420
                                              ]]}
421
                                            ]]}
422
                                          ]]}
423
                                        ]]}
424
                                      ]]}
425
                                    ]]}
426
                                  ]]}
427
                                ]]}
428
                              ]]}
429
                            ], ["EXPRESSION", {
430
                              "args" : [["EXPRESSION", {
431
                                "args" : [["EXPRESSION", {
432
                                  "args" : [["EXPRESSION", {
433
                                    "args" : [["EXPRESSION", {
434
                                      "id" : "=", "args" : [["EXPRESSION", {
435
                                        "args" : [["EXPRESSION", {
436
                                          "args" : [["EXPRESSION", {
437
                                            "args" : [["CONSTANT_VALUE", {
438
                                              "value" : ["CST_LITERAL", "50.0"]}
439
                                            ]]}
440
                                          ]]}
441
                                        ]]}
442
                                      ], ["EXPRESSION", {
443
                                        "args" : [["EXPRESSION", {
444
                                          "args" : [["EXPRESSION", {
445
                                            "id" : "abs", "args" : [["EXPRESSION", {
446
                                              "args" : [["EXPRESSION", {
447
                                                "args" : [["EXPRESSION", {
448
                                                  "id" : "-", "args" : [["EXPRESSION", {
449
                                                    "args" : [["CONSTANT_VALUE", {
450
                                                      "value" : ["CST_LITERAL", "50.0"]}
451
                                                    ]]}
452
                                                  ]]}
453
                                                ]]}
454
                                              ]]}
455
                                            ]]}
456
                                          ]]}
457
                                        ]]}
458
                                      ]]}
459
                                    ]]}
460
                                  ]]}
461
                                ]]}
462
                              ]]}
463
                            ]]}
464
                          ], ["EXPRESSION", {
465
                            "args" : [["EXPRESSION", {
466
                              "args" : [["EXPRESSION", {
467
                                "args" : [["EXPRESSION", {
468
                                  "args" : [["EXPRESSION", {
469
                                    "id" : "=", "args" : [["EXPRESSION", {
470
                                      "args" : [["EXPRESSION", {
471
                                        "args" : [["EXPRESSION", {
472
                                          "args" : [["EXPRESSION", {
473
                                            "args" : [["EXPRESSION", {
474
                                              "args" : [["EXPRESSION", {
475
                                                "id" : "-", "args" : [["EXPRESSION", {
476
                                                  "args" : [["CONSTANT_VALUE", {
477
                                                    "value" : ["CST_LITERAL", "25.0"]}
478
                                                  ]]}
479
                                                ]]}
480
                                              ]]}
481
                                            ]]}
482
                                          ]]}
483
                                        ]]}
484
                                      ]]}
485
                                    ], ["EXPRESSION", {
486
                                      "args" : [["EXPRESSION", {
487
                                        "args" : [["EXPRESSION", {
488
                                          "args" : [["EXPRESSION", {
489
                                            "args" : [["EXPRESSION", {
490
                                              "args" : [["EXPRESSION", {
491
                                                "id" : "-", "args" : [["EXPRESSION", {
492
                                                  "id" : "abs", "args" : [["EXPRESSION", {
493
                                                    "args" : [["EXPRESSION", {
494
                                                      "args" : [["EXPRESSION", {
495
                                                        "id" : "-", "args" : [["EXPRESSION", {
496
                                                          "args" : [["CONSTANT_VALUE", {
497
                                                            "value" : ["CST_LITERAL", "25.0"]}
498
                                                          ]]}
499
                                                        ]]}
500
                                                      ]]}
501
                                                    ]]}
502
                                                  ]]}
503
                                                ]]}
504
                                              ]]}
505
                                            ]]}
506
                                          ]]}
507
                                        ]]}
508
                                      ]]}
509
                                    ]]}
510
                                  ]]}
511
                                ]]}
512
                              ]]}
513
                            ]]}
514
                          ]]}
515
                        ], ["EXPRESSION", {
516
                          "args" : [["EXPRESSION", {
517
                            "args" : [["EXPRESSION", {
518
                              "args" : [["EXPRESSION", {
519
                                "args" : [["EXPRESSION", {
520
                                  "id" : "=", "args" : [["EXPRESSION", {
521
                                    "args" : [["EXPRESSION", {
522
                                      "args" : [["EXPRESSION", {
523
                                        "id" : "-", "args" : [["EXPRESSION", {
524
                                          "args" : [["CONSTANT_VALUE", {
525
                                            "value" : ["CST_LITERAL", "3.14"], "unit_name" : ["SIMPLE_NAME", "E"]}
526
                                          ]]}
527
                                        ], ["EXPRESSION", {
528
                                          "args" : [["CONSTANT_VALUE", {
529
                                            "value" : ["CST_LITERAL", "2"]}
530
                                          ]]}
531
                                        ]]}
532
                                      ]]}
533
                                    ]]}
534
                                  ], ["EXPRESSION", {
535
                                    "args" : [["EXPRESSION", {
536
                                      "args" : [["EXPRESSION", {
537
                                        "id" : "abs", "args" : [["EXPRESSION", {
538
                                          "args" : [["EXPRESSION", {
539
                                            "args" : [["EXPRESSION", {
540
                                              "id" : "-", "args" : [["EXPRESSION", {
541
                                                "id" : "-", "args" : [["EXPRESSION", {
542
                                                  "args" : [["CONSTANT_VALUE", {
543
                                                    "value" : ["CST_LITERAL", "3.14"], "unit_name" : ["SIMPLE_NAME", "E"]}
544
                                                  ]]}
545
                                                ], ["EXPRESSION", {
546
                                                  "args" : [["CONSTANT_VALUE", {
547
                                                    "value" : ["CST_LITERAL", "2"]}
548
                                                  ]]}
549
                                                ]]}
550
                                              ]]}
551
                                            ]]}
552
                                          ]]}
553
                                        ]]}
554
                                      ]]}
555
                                    ]]}
556
                                  ]]}
557
                                ]]}
558
                              ]]}
559
                            ]]}
560
                          ]]}
561
                        ]]}
562
                      ], ["EXPRESSION", {
563
                        "args" : [["EXPRESSION", {
564
                          "args" : [["EXPRESSION", {
565
                            "args" : [["EXPRESSION", {
566
                              "args" : [["EXPRESSION", {
567
                                "id" : "=", "args" : [["EXPRESSION", {
568
                                  "args" : [["EXPRESSION", {
569
                                    "args" : [["EXPRESSION", {
570
                                      "args" : [["EXPRESSION", {
571
                                        "args" : [["EXPRESSION", {
572
                                          "args" : [["EXPRESSION", {
573
                                            "id" : "-", "args" : [["EXPRESSION", {
574
                                              "args" : [["CONSTANT_VALUE", {
575
                                                "value" : ["CST_LITERAL", "0.379"]}
576
                                              ]]}
577
                                            ]]}
578
                                          ]]}
579
                                        ]]}
580
                                      ]]}
581
                                    ]]}
582
                                  ]]}
583
                                ], ["EXPRESSION", {
584
                                  "args" : [["EXPRESSION", {
585
                                    "args" : [["EXPRESSION", {
586
                                      "args" : [["EXPRESSION", {
587
                                        "args" : [["EXPRESSION", {
588
                                          "args" : [["EXPRESSION", {
589
                                            "id" : "-", "args" : [["EXPRESSION", {
590
                                              "id" : "abs", "args" : [["EXPRESSION", {
591
                                                "args" : [["EXPRESSION", {
592
                                                  "args" : [["EXPRESSION", {
593
                                                    "id" : "-", "args" : [["EXPRESSION", {
594
                                                      "args" : [["CONSTANT_VALUE", {
595
                                                        "value" : ["CST_LITERAL", "0.379"]}
596
                                                      ]]}
597
                                                    ]]}
598
                                                  ]]}
599
                                                ]]}
600
                                              ]]}
601
                                            ]]}
602
                                          ]]}
603
                                        ]]}
604
                                      ]]}
605
                                    ]]}
606
                                  ]]}
607
                                ]]}
608
                              ]]}
609
                            ]]}
610
                          ]]}
611
                        ]]}
612
                      ]]}
613
                    ]]}
614
                  ]]}
615
                ]]}
616
              ]]}
617
            ], "report" : ["EXPRESSION", {
618
              "args" : [["EXPRESSION", {
619
                "args" : [["EXPRESSION", {
620
                  "args" : [["EXPRESSION", {
621
                    "args" : [["CONSTANT_VALUE", {
622
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c07s01b00x00p07n01i02326 - The result of the 'abs' operation must be the absolute value of the operand.\""]}
623
                    ]]}
624
                  ]]}
625
                ]]}
626
              ]]}
627
            ], "severity" : ["EXPRESSION", {
628
              "args" : [["EXPRESSION", {
629
                "args" : [["EXPRESSION", {
630
                  "args" : [["EXPRESSION", {
631
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
632
                  ]]}
633
                ]]}
634
              ]]}
635
            ]}
636
          ], ["WAIT_STATEMENT"]]}
637
        ]]}
638
      ]}
639
    ]}
640
  }