Merge pull request #317 from diffblue/preprocess-I

Verilog: --preprocess now honors -I

Author: kroening

regression/verilog/preprocessor/include2.desc

@@ -0,0 +1,12 @@
+CORE
+include2.v
+--preprocess -I subdir
+// Enable multi-line checking
+activate-multi-line-match
+`line 1 "include2\.v" 0
+`line 1 "include_file\.vh" 1
+
+`line 2 "include2\.v" 2
+^EXIT=0$
+^SIGNAL=0$
+--

regression/verilog/preprocessor/include2.v

@@ -0,0 +1 @@
+`include "include_file.vh"

regression/verilog/preprocessor/subdir/include_file.vh

@@ -0,0 +1 @@
+

src/ebmc/transition_system.cpp

@@ -92,6 +92,10 @@ int preprocess(const cmdlinet &cmdline, message_handlert &message_handler)
     return 1;
   }
 
+  // do -I
+  if(cmdline.isset('I'))
+    config.verilog.include_paths = cmdline.get_values('I');
+
   auto language = get_language_from_filename(filename);
 
   if(language == nullptr)