Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (2.21 KB)

1 3fd18385 Arnaud Dieumegard
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s02b00x00p07n01i01267ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s02b00x00p07n01i01267arch"], "entity" : ["IDENTIFIER", "c08s02b00x00p07n01i01267ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", {
11
            "cond" : ["EXPRESSION", {
12
              "args" : [["EXPRESSION", {
13
                "args" : [["EXPRESSION", {
14
                  "args" : [["EXPRESSION", {
15
                    "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
16
                  ]]}
17
                ]]}
18
              ]]}
19
            ]}
20
          ], ["ASSERTION_STATEMENT", {
21
            "cond" : ["EXPRESSION", {
22
              "args" : [["EXPRESSION", {
23
                "args" : [["EXPRESSION", {
24
                  "args" : [["EXPRESSION", {
25
                    "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]}
26
                  ]]}
27
                ]]}
28
              ]]}
29
            ], "report" : ["EXPRESSION", {
30
              "args" : [["EXPRESSION", {
31
                "args" : [["EXPRESSION", {
32
                  "args" : [["EXPRESSION", {
33
                    "args" : [["CONSTANT_VALUE", {
34
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c08s02b00x00p07n01i01267 - This test needs manual check. The assertion message consists at least that 1.An indication that this message is from an assertion. 2.Severity level. 3.Value of the message string. 4.The name of the design unit.\""]}
35
                    ]]}
36
                  ]]}
37
                ]]}
38
              ]]}
39
            ], "severity" : ["EXPRESSION", {
40
              "args" : [["EXPRESSION", {
41
                "args" : [["EXPRESSION", {
42
                  "args" : [["EXPRESSION", {
43
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
44
                  ]]}
45
                ]]}
46
              ]]}
47
            ]}
48
          ], ["WAIT_STATEMENT"]]}
49
        ]]}
50
      ]}
51
    ]}
52
  }