From 776672576d271fc0581d4bcd933f87fee9e7b537 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Fri, 19 Apr 2024 14:05:01 -0700 Subject: [PATCH] Verilog: KNOWNBUG test for file in subdirectory with local include This adds a KNOWNBUG test for the case where a Verilog file is in a subdirectory and a local include is in the same subdirectory. --- regression/verilog/preprocessor/in_subdir.desc | 7 +++++++ regression/verilog/preprocessor/subdir/in_subdir.v | 1 + 2 files changed, 8 insertions(+) create mode 100644 regression/verilog/preprocessor/in_subdir.desc create mode 100644 regression/verilog/preprocessor/subdir/in_subdir.v diff --git a/regression/verilog/preprocessor/in_subdir.desc b/regression/verilog/preprocessor/in_subdir.desc new file mode 100644 index 000000000..79c0404fb --- /dev/null +++ b/regression/verilog/preprocessor/in_subdir.desc @@ -0,0 +1,7 @@ +KNOWNBUG +subdir/in_subdir.v +--preprocess +^EXIT=0$ +^SIGNAL=0$ +-- +include file in subdirectory not found diff --git a/regression/verilog/preprocessor/subdir/in_subdir.v b/regression/verilog/preprocessor/subdir/in_subdir.v new file mode 100644 index 000000000..4168cc1fc --- /dev/null +++ b/regression/verilog/preprocessor/subdir/in_subdir.v @@ -0,0 +1 @@ +`include "include_file.vh"