Add some tests from GitHub issues

Author: gmlarumbe

test/corpus/github/issue_18.txt

@@ -0,0 +1,22 @@
+assign a = (a);
+assign a = (a.a);
+assign a = (a.a[a]);
+assign a = (a.a[a.a]);
+assign a = (a.a[a.a[a]]); // ERROR
+assign a = a.a[a.a[a]];
+assign a = (a[a.a[a]]);
+assign a = (a.a[a[a]]);
+assign a = (a.a[a.a]);
+assign a = (a.a.a.a);
+assign a = (a.a[a.a.a.a]);
+
+assign a = (a.a[a] == a[a::a-1:0]); // ERROR
+assign a = a.a[a] == a[a::a-1:0];
+assign a = (a.a[a] == a[a-1:0]);
+assign a = (a[a] == a[a::a-1:0]);
+assign a = (a.a == a[a::a-1:0]);
+assign a = (a.a[a] != a[a::a-1:0]); //ERROR
+assign a = (a[a::a-1:0]);
+assign a = (a.a[a]);
+assign a = (a.a[a] == a[a::a:0]);
+assign a = (a.a[a] == a[a::a-1]);

test/corpus/github/issue_18_b.txt

@@ -0,0 +1,11 @@
+// assign a = a.a[a];
+// assign a = (a.a[a]);
+
+assign a = a.a[a.a[a]];
+assign a = (a.a[a.a[a]]); // ERROR
+
+// assign a = a.a[a.a[a.a[a]]]; // ERROR
+// assign a = (a.a[a.a[a.a[a]]]); // ERROR
+
+// assign a = a.a[a.a[a.a[a.a[a]]]]; // ERROR
+// assign a = (a.a[a.a[a.a[a.a[a]]]]); // ERROR

test/corpus/github/issue_28.txt

@@ -0,0 +1,50 @@
+============================================
+github/issue_28
+============================================
+
+wire a = 1 ? 2 : 3 ? 4 : 5;
+
+----
+
+(source_file
+  (net_declaration
+    (net_type)
+    (list_of_net_decl_assignments
+      (net_decl_assignment
+        (simple_identifier)
+        (expression
+          (conditional_expression
+            (cond_predicate
+              (expression
+                (conditional_expression
+                  (cond_predicate
+                    (expression
+                      (primary
+                        (primary_literal
+                          (integral_number
+                            (decimal_number
+                              (unsigned_number)))))))
+                  (expression
+                    (primary
+                      (primary_literal
+                        (integral_number
+                          (decimal_number
+                            (unsigned_number))))))
+                  (expression
+                    (primary
+                      (primary_literal
+                        (integral_number
+                          (decimal_number
+                            (unsigned_number)))))))))
+            (expression
+              (primary
+                (primary_literal
+                  (integral_number
+                    (decimal_number
+                      (unsigned_number))))))
+            (expression
+              (primary
+                (primary_literal
+                  (integral_number
+                    (decimal_number
+                      (unsigned_number))))))))))))

test/files/github/issue_18.sv

@@ -0,0 +1,22 @@
+assign a = (a);
+assign a = (a.a);
+assign a = (a.a[a]);
+assign a = (a.a[a.a]);
+assign a = (a.a[a.a[a]]); // ERROR
+assign a = a.a[a.a[a]];
+assign a = (a[a.a[a]]);
+assign a = (a.a[a[a]]);
+assign a = (a.a[a.a]);
+assign a = (a.a.a.a);
+assign a = (a.a[a.a.a.a]);
+
+assign a = (a.a[a] == a[a::a-1:0]); // ERROR
+assign a = a.a[a] == a[a::a-1:0];
+assign a = (a.a[a] == a[a-1:0]);
+assign a = (a[a] == a[a::a-1:0]);
+assign a = (a.a == a[a::a-1:0]);
+assign a = (a.a[a] != a[a::a-1:0]); //ERROR
+assign a = (a[a::a-1:0]);
+assign a = (a.a[a]);
+assign a = (a.a[a] == a[a::a:0]);
+assign a = (a.a[a] == a[a::a-1]);

test/files/github/issue_18_b.sv

@@ -0,0 +1,11 @@
+// assign a = a.a[a];
+// assign a = (a.a[a]);
+
+assign a = a.a[a.a[a]];
+assign a = (a.a[a.a[a]]); // ERROR
+
+// assign a = a.a[a.a[a.a[a]]]; // ERROR
+// assign a = (a.a[a.a[a.a[a]]]); // ERROR
+
+// assign a = a.a[a.a[a.a[a.a[a]]]]; // ERROR
+// assign a = (a.a[a.a[a.a[a.a[a]]]]); // ERROR

test/files/github/issue_28.sv

@@ -0,0 +1 @@
+wire a = 1 ? 2 : 3 ? 4 : 5;

update_tests.sh

@@ -116,6 +116,7 @@ EXCLUDED_FILELIST=(sv-tests/chapter-5/5.6.4--compiler-directives-preprocessor-ma
                    cva6/uvma_cva6_core_cntrl_cntxt.sv # MISSING "end" due to pragma protects wrong detection
                    # TODO:
                    github/issue_18.sv
+                   github/issue_18_b.sv
                   )
 
 # Filter tests, if there was an argument provided