Skip to content
Snippets Groups Projects
Commit ab158cc9 authored by Andre Maroneze's avatar Andre Maroneze Committed by Allan Blanchard
Browse files

[tests] add fc_script to kernel-tests and remove from ptests

parent 20a8517c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
nix/kernel-tests.nix
+ 2
− 0
View file @ ab158cc9
...@@ -16,5 +16,7 @@ mk_tests { ...@@ -16,5 +16,7 @@ mk_tests {
@tests/syntax/ptests \ @tests/syntax/ptests \
@tests/test/ptests \ @tests/test/ptests \
@src/kernel_internals/parsing/tests/ptests @src/kernel_internals/parsing/tests/ptests
dune runtest \
tests/fc_script
''; '';
} }
tests/ptests_config
+ 1
− 1
View file @ ab158cc9
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
### Tests of kernel ### Tests of kernel
DEFAULT_SUITES= cil compliance dynamic fc_script jcdb libc misc DEFAULT_SUITES= cil compliance dynamic jcdb libc misc
DEFAULT_SUITES= pretty_printing saveload spec syntax test DEFAULT_SUITES= pretty_printing saveload spec syntax test
### Tests of small plugins ### Tests of small plugins
......
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