summaryrefslogtreecommitdiff
path: root/test/linter/test_verilator.vader
blob: b65f3459e732eb401faf6c3965300eb1307ae532 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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'