1 #ifndef ROSE_BinaryAnalysis_ModelChecker_Settings_H
2 #define ROSE_BinaryAnalysis_ModelChecker_Settings_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_MODEL_CHECKER
6 #include <Rose/BinaryAnalysis/ModelChecker/Types.h>
7 #include <Sawyer/CommandLine.h>
10 namespace BinaryAnalysis {
11 namespace ModelChecker {
19 using Ptr = SettingsPtr;
21 bool showInitialStates =
false;
22 bool showIntermediateStates =
false;
23 bool showFinalStates =
false;
24 bool showAssertions =
false;
25 bool ignoreSemanticFailures =
false;
29 bool rejectUnknownInsns =
true;
31 SourceListerPtr sourceLister;
32 uint64_t maxSymbolicSize = 0;
33 bool exploreDuplicateStates =
true;
38 static Ptr instance();
A collection of related switch declarations.
Main namespace for the ROSE library.
const size_t UNLIMITED(static_cast< size_t >(-1))
Effictively unlimited size.
Sawyer::SharedPointer< Node > Ptr
Reference counting pointer.