MCPcopy Create free account
hub / github.com/Z3Prover/z3 / error

Method error

src/opt/opt_parse.cpp:609–613  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

607private:
608
609 void error(char const* msg) {
610 std::ostringstream ous;
611 ous << tok.line() << ": " << msg << " got: " << peek(0) << "\n";
612 throw default_exception(ous.str());
613 }
614
615 symbol const& peek(unsigned i) { return tok.peek(i); }
616

Callers 15

wrapFunctionFunction · 0.45
make-ts-wrapper.tsFile · 0.45
spawnSyncFunction · 0.45
using_smtlib2.tsFile · 0.45
mainFunction · 0.45
miracle-sudoku.tsFile · 0.45
example-raw.tsFile · 0.45
exitfFunction · 0.45
test-ts-api.tsFile · 0.45
mainFunction · 0.45
mainFunction · 0.45
mainFunction · 0.45

Calls 3

default_exceptionClass · 0.85
lineMethod · 0.45
strMethod · 0.45

Tested by

no test coverage detected