Commit 4f3d0508 authored by Anonymous's avatar Anonymous

Clang-tidy modification

parent 6891a21c
......@@ -193,7 +193,7 @@ void
CDA::emergeMSetOcc (
const std::vector<EMSet>& set,
const Base& trace,
unsigned int nb_se,
unsigned int,
std::vector<MSetOcc>& res
) {
for (const auto &i : set) {
......
......@@ -9,7 +9,7 @@ find_package(Boost COMPONENTS program_options)
if(Boost_FOUND)
SET( CMAKE_CXX_FLAGS "-std=c++0x")
# SET( CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -O3")
SET( CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -O3")
set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra")
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment