[Dev] add Cram tests to 'make default-tests' and generalize nix cram testing

nix/kernel-tests.nix

@@ -16,10 +16,7 @@ mk_tests {
       @tests/syntax/ptests \
       @src/kernel_internals/parsing/tests/ptests
     dune runtest -j1 --display short \
-      src/plugins/server/tests/batch \
-      tests/fc_script \
-      tests/misc \
-      tests/syntax
+      tests
     make -C share/machdeps check-schema
   '';
 }

nix/plugins-tests.nix

@@ -27,6 +27,8 @@ mk_tests {
       @src/plugins/region/tests/ptests \
       @src/plugins/server/tests/ptests \
       @src/plugins/variadic/tests/ptests
+    dune runtest -j1 --display short \
+      src/plugins/server
   '';
   has-wp-proofs = true ;
 }

share/Makefile.testing

@@ -218,6 +218,7 @@ endif # PTEST_USE_WP_CACHE
 .PHONY: default-tests
 default-tests: run-ptests
 	dune build @ptests_config
+	dune runtest tests
 	$(MAKE) count-tests
 
 .PHONY: count-tests