lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc1012.json @ 3fd18385
History | View | Annotate | Download (2 KB)
1 | 3fd18385 | Arnaud Dieumegard | { |
---|---|---|---|
2 | "DESIGN_FILE" : {
|
||
3 | "design_units" : [{
|
||
4 | "contexts" : [], "library" : ["ENTITY_DECLARATION", { |
||
5 | "name" : ["IDENTIFIER", "c06s03b00x00p10n01i01012ent"], "ports" : [{ |
||
6 | "names" : [["IDENTIFIER", "p"], ["IDENTIFIER", "q"]], "mode" : ["in"], "typ" : { |
||
7 | "name" : ["SIMPLE_NAME", "bit"]} |
||
8 | } |
||
9 | ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []} |
||
10 | ]} |
||
11 | , { |
||
12 | "contexts" : [], "library" : ["ARCHITECTURE_BODY", { |
||
13 | "name" : ["IDENTIFIER", "c06s03b00x00p10n01i01012arch"], "entity" : ["IDENTIFIER", "c06s03b00x00p10n01i01012ent"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", { |
||
14 | "id" : ["IDENTIFIER", "TESTING"], "active_sigs" : [["SELECTED_NAME", [["SIMPLE_NAME", "c06s03b00x00p10n01i01012ent"], ["IDENTIFIER", "p"]]], ["SELECTED_NAME", [["SIMPLE_NAME", "c06s03b00x00p10n01i01012ent"], ["IDENTIFIER", "q"]]]], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", { |
||
15 | "cond" : ["EXPRESSION", { |
||
16 | "args" : [["EXPRESSION", { |
||
17 | "args" : [["EXPRESSION", { |
||
18 | "args" : [["EXPRESSION", { |
||
19 | "args" : [["CALL", ["SIMPLE_NAME", "FALSE"]]]} |
||
20 | ]]} |
||
21 | ]]} |
||
22 | ]]} |
||
23 | ], "report" : ["EXPRESSION", { |
||
24 | "args" : [["EXPRESSION", { |
||
25 | "args" : [["EXPRESSION", { |
||
26 | "args" : [["EXPRESSION", { |
||
27 | "args" : [["CONSTANT_VALUE", { |
||
28 | "value" : ["CST_LITERAL", "\"***PASSED TEST: c06s03b00x00p10n01i01012\""]} |
||
29 | ]]} |
||
30 | ]]} |
||
31 | ]]} |
||
32 | ]]} |
||
33 | ], "severity" : ["EXPRESSION", { |
||
34 | "args" : [["EXPRESSION", { |
||
35 | "args" : [["EXPRESSION", { |
||
36 | "args" : [["EXPRESSION", { |
||
37 | "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]} |
||
38 | ]]} |
||
39 | ]]} |
||
40 | ]]} |
||
41 | ]} |
||
42 | ]]} |
||
43 | ]]} |
||
44 | ]} |
||
45 | ]} |
||
46 | } |