diff options
| author | Tarik Graba <tarikgraba@users.noreply.github.com> | 2021-02-11 20:35:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-11 19:35:25 +0000 |
| commit | ea72d66b6d4e3f0dc04d12fba08fe29e7e637b72 (patch) | |
| tree | 34d8a89480492bb36a55d55c73d860a2225b7421 /test/command_callback | |
| parent | 1773a496ad39fdd3d904679955b39357f3f38442 (diff) | |
| download | ale-ea72d66b6d4e3f0dc04d12fba08fe29e7e637b72.zip | |
Verilator current file search path (#3500)
* Simplify verilator linter using ale command format strings
* Verilator Linter: Restructure linter command tests
* Verilator Linter: adds to the handler test the returned filename
* Verilator Linter: add the current file path to the search path
* Verilator Linter: Add the search path to the tests
Co-authored-by: TG <tarik.graba@telecom-paris.fr>
Diffstat (limited to 'test/command_callback')
| -rw-r--r-- | test/command_callback/test_verilator_command_callback.vader | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/command_callback/test_verilator_command_callback.vader b/test/command_callback/test_verilator_command_callback.vader new file mode 100644 index 00000000..b65f3459 --- /dev/null +++ b/test/command_callback/test_verilator_command_callback.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' |