MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / format_extra

Method format_extra

deps/CVC4/base/exception.cpp:92–97  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

90}
91
92std::string IllegalArgumentException::format_extra(const char* condStr, const char* argDesc){
93 return ( std::string("`") + argDesc + "' is a bad argument"
94 + (*condStr == '\0' ? std::string() :
95 ( std::string("; expected ") +
96 condStr + " to hold" )) );
97}
98
99void IllegalArgumentException::construct(const char* header, const char* extra,
100 const char* function, const char* tail) {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected