diff --git a/source/layers/validation/checkers/CMakeLists.txt b/source/layers/validation/checkers/CMakeLists.txt index 6ea6f9bb..9ecdaecd 100644 --- a/source/layers/validation/checkers/CMakeLists.txt +++ b/source/layers/validation/checkers/CMakeLists.txt @@ -1,4 +1,5 @@ add_subdirectory(basic_leak) +add_subdirectory(certification) add_subdirectory(events_checker) add_subdirectory(parameter_validation) add_subdirectory(template)