Searched refs:ModelCheckerTargets (Results 1 – 7 of 7) sorted by relevance
118 struct ModelCheckerTargets struct121 static ModelCheckerTargets Default() { return *fromString("default"); } in Default() argument123 static ModelCheckerTargets All() { return *fromString("all"); } in All() argument125 static std::optional<ModelCheckerTargets> fromString(std::string const& _targets);137 bool operator!=(ModelCheckerTargets const& _other) const noexcept { return !(*this == _other); } argument138 …bool operator==(ModelCheckerTargets const& _other) const noexcept { return targets == _other.targe…157 ModelCheckerTargets targets = ModelCheckerTargets::Default(); argument
63 map<string, TargetType> const ModelCheckerTargets::targetStrings{74 map<TargetType, string> const ModelCheckerTargets::targetTypeToString{85 std::optional<ModelCheckerTargets> ModelCheckerTargets::fromString(string const& _targets) in fromString()106 return ModelCheckerTargets{chosenTargets}; in fromString()109 bool ModelCheckerTargets::setFromString(string const& _target) in setFromString()
1751 …msg += "<errorCode> = " + to_string(target.errorId) + " -> " + ModelCheckerTargets::targetTypeToSt… in checkVerificationTargets()
53 m_modelCheckerSettings.targets = ModelCheckerTargets::All();
112 frontend::ModelCheckerTargets::Default(), in testCompiler()
1240 optional<ModelCheckerTargets> targets = ModelCheckerTargets::fromString(targetsStr); in processArgs()
1043 ModelCheckerTargets targets; in parseInput()