mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-21 16:16:38 +00:00
Code Activity

remove leftovers from earlier commit

Browse source
This commit is contained in:
Jakob Rath 2024-03-13 09:42:08 +01:00
parent 22d80277ae
commit d07d57c240
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/sat/smt/intblast_solver.cpp
View file

@ -235,12 +235,6 @@ namespace intblast {
}
#if 0
namespace fs = std::filesystem;
static unsigned num_check = 0;
fs::path filename = std::string("validation/int-") + std::to_string(++num_check) + ".smt2";
fs::create_directories(filename.parent_path());
IF_VERBOSE(1, verbose_stream() << "validation check written to file " << filename << "\n");
std::ofstream file(filename);
std::string name_esc;
if (name) {
name_esc = name;