Skip to content

Allow skipping loading of db_file #69

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
InigoMoreno wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Allow skipping loading of db_file #69

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
79fd597
Allow skipping loading of db_file
InigoMoreno Jan 9, 2024
8a58e98
Remove debugging lines
InigoMoreno Jan 24, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion src/reach_study.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -343,7 +343,11 @@ void runReachStudy(const YAML::Node& config, const std::string& config_name, con

const boost::filesystem::path db_file = results_dir / config_name / "reach.db.xml";

if (boost::filesystem::exists(db_file))
YAML::Emitter emitter;
emitter << opt_config;
logger->print(emitter.c_str());
Comment thread
InigoMoreno marked this conversation as resolved.
Outdated
bool skip_load = opt_config["skip_load"] && opt_config["skip_load"].as<bool>();
if (boost::filesystem::exists(db_file) && !skip_load)
{
// Attempt to load the database first, if it exists
rs.load(db_file.string());
Expand Down