Skip to content
Snippets Groups Projects
Commit 3e3b1f1d authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] do not cover default config

parent 04ff6dd1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
nix/default-config-tests.nix
+ 1
− 0
View file @ 3e3b1f1d
...@@ -4,6 +4,7 @@ let mk_tests_distrib = mk_tests.override { ...@@ -4,6 +4,7 @@ let mk_tests_distrib = mk_tests.override {
frama-c = frama-c-nocover ; frama-c = frama-c-nocover ;
}; in }; in
mk_tests_distrib { mk_tests_distrib {
cover = false ;
tests-name = "src-distrib-tests"; tests-name = "src-distrib-tests";
tests-command = '' tests-command = ''
dune exec -- frama-c-ptests -never-disabled tests src/plugins/*/tests dune exec -- frama-c-ptests -never-disabled tests src/plugins/*/tests
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment