diff options
| author | w0rp <devw0rp@gmail.com> | 2021-03-21 00:21:49 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2021-03-21 00:25:33 +0000 |
| commit | f7852dbd0a063d6d82ee17a5057fea53cb79b21d (patch) | |
| tree | 00b98a3c668af9313eedd6936475c81eeef7e9b8 /test/linter/test_verilator.vader | |
| parent | 35caaecc9fc5822f0474e913d0b7655048fd30ee (diff) | |
| download | ale-f7852dbd0a063d6d82ee17a5057fea53cb79b21d.zip | |
#3633 - Move linter tests into test/linter
Diffstat (limited to 'test/linter/test_verilator.vader')
| -rw-r--r-- | test/linter/test_verilator.vader | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/linter/test_verilator.vader b/test/linter/test_verilator.vader new file mode 100644 index 00000000..b65f3459 --- /dev/null +++ b/test/linter/test_verilator.vader @@ -0,0 +1,14 @@ +Before: + call ale#assert#SetUpLinterTest('verilog', 'verilator') + +After: + call ale#assert#TearDownLinterTest() + +Execute(The default verilator command should be correct): + AssertLinter 'verilator', 'verilator --lint-only -Wall -Wno-DECLFILENAME -I%s:h %t' + +Execute(verilator options should be configurable): + " Additional args for the linter + let g:ale_verilog_verilator_options = '-sv --default-language "1800-2012"' + + AssertLinter 'verilator', 'verilator --lint-only -Wall -Wno-DECLFILENAME -I%s:h -sv --default-language "1800-2012" %t' |