#include "singleexecutor.h"
#include "cppcheck.h"
#include "filesettings.h"
#include "settings.h"
#include "timer.h"
#include <cassert>
#include <list>
#include <numeric>
#include <utility>
Go to the source code of this file.