These folders are not included in the Dune tests due to the sheer number of files.
They are tested as part of the Jenkins CI that compiles all models in test/integration/good to binaries.
