Merge pull request #851 from diffblue/undeclared_task1

Verilog: KNOWNBUG test for undeclared task

Author: kroening

regression/verilog/functioncall/undeclared_function1.desc

@@ -0,0 +1,7 @@
+CORE
+undeclared_function1.v
+
+^file .* line 4: unknown function `undeclared_function'$
+^EXIT=2$
+^SIGNAL=0$
+--

regression/verilog/functioncall/undeclared_function1.v

@@ -0,0 +1,7 @@
+module main(input in, output reg out);
+
+  always @in begin
+    out <= undeclared_function(in);
+  end
+
+endmodule

regression/verilog/tasks/undeclared_task1.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+undeclared_tasks1.v
+
+^EXIT=2$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+The type checker fails to find the symbol, and an exception is thrown.

regression/verilog/tasks/undeclared_task1.v

@@ -0,0 +1,5 @@
+module main;
+
+  initial some_undeclared_task();
+
+endmodule