projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 007e937) | patch
Refactor filename handling (#7088)
authorGereon Kremer <nafur42@gmail.com>
Mon, 30 Aug 2021 21:23:29 +0000 (14:23 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Aug 2021 21:23:29 +0000 (21:23 +0000)
commit4cc62dd571cf313edb524a9e1fb72cd6bbe1c3f1
tree41e81e4c83f7860312c129dd41044ca9e5248626tree
parent007e93702d91c02954180cd601741aa19bf2a127commit | diff
Refactor filename handling (#7088)

This PR simplifies how we store the current input file name and handle setting and getting it.
It is now an option, that can also be set and get via setInfo() and getInfo().
src/main/driver_unified.cpp diff | blob | history
src/options/main_options.toml diff | blob | history
src/smt/env.cpp diff | blob | history
src/smt/env.h diff | blob | history
src/smt/proof_manager.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/smt/smt_engine_state.cpp diff | blob | history
src/smt/smt_solver.cpp diff | blob | history
src/util/statistics_public.cpp diff | blob | history