Method setFromString

libsolidity/formal/ModelCheckerSettings.cpp:53–59

}

bool ModelCheckerInvariants::setFromString(std::string const& _inv)
{
	if (!validInvariants.count(_inv))
		return false;
	invariants.insert(validInvariants.at(_inv));
	return true;
}

using TargetType = VerificationTargetType;
std::map<std::string, TargetType> const ModelCheckerTargets::targetStrings{