Home
last modified time | relevance | path

Searched refs:getReplayInputFilename (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/main/
H A Ddriver_unified.cpp248 if (opts.getReplayInputFilename() != "") in runCvc4()
250 std::string replayFilename = opts.getReplayInputFilename(); in runCvc4()
/dports/math/cvc4/CVC4-1.7/src/options/
H A Doptions_public_functions.cpp214 std::string Options::getReplayInputFilename() const{ in getReplayInputFilename() function in CVC4::Options
H A Doptions.h243 std::string getReplayInputFilename() const;