diff --git a/CMakeLists.txt b/CMakeLists.txt index 53516383e..84173c8dc 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -199,5 +199,5 @@ add_custom_target(memcheck valgrind --leak-check=full --show-reachable=yes ${PRO add_custom_target(memcheck-tests valgrind --leak-check=full --show-reachable=yes ${PROJECT_BINARY_DIR}/storm-tests DEPENDS storm-tests) -set (CPPLINT_ARGS --filter=-whitespace/tab,-whitespace/line_length) +set (CPPLINT_ARGS --filter=-whitespace/tab,-whitespace/line_length,-legal/copyright,-readability/streams) add_custom_target(style python cpplint.py ${CPPLINT_ARGS} `find ./src/ -iname "*.h" -or -iname "*.cpp"`)