fix(VariantSync/VEVOS_Simulation#7): KernelHaven now processes all files in the SPL's directory, assigning true as presence condition for all files without variability.

Author: AlexanderSchultheiss

docker-resources/extraction_busybox.properties

@@ -75,7 +75,7 @@ code.provider.cache.read = false
 code.extractor.class = net.ssehub.kernel_haven.block_extractor.CodeBlockExtractor
 code.extractor.files =
 # CodeBlockExtractor parses header and code files separately
-code.extractor.file_regex = .*\\.(c|h)
+code.extractor.file_regex = .*
 code.extractor.threads = 10
 code.extractor.invalid_condition = TRUE
 code.extractor.handle_linux_macros = true

docker-resources/extraction_generic.properties

@@ -66,7 +66,7 @@ code.provider.cache.read = false
 code.extractor.class = net.ssehub.kernel_haven.block_extractor.CodeBlockExtractor
 code.extractor.files =
 # CodeBlockExtractor parses header and code files separately
-code.extractor.file_regex = .*\\.(c|h|cpp|hpp)
+code.extractor.file_regex = .*
 code.extractor.threads = 10
 code.extractor.invalid_condition = TRUE
 code.extractor.handle_linux_macros = true

docker-resources/extraction_linux.properties

@@ -72,7 +72,7 @@ code.provider.cache.read = false
 code.extractor.class = net.ssehub.kernel_haven.block_extractor.CodeBlockExtractor
 code.extractor.files =
 # CodeBlockExtractor parses header and code files separately
-code.extractor.file_regex = .*\\.(c|h)
+code.extractor.file_regex = .*
 code.extractor.threads = 10
 code.extractor.invalid_condition = TRUE
 code.extractor.handle_linux_macros = true