Skip to content
Snippets Groups Projects
Commit 0ea37e45 authored by Jaime Arias's avatar Jaime Arias
Browse files

fix: bdd_init

parent 18dfb518
No related branches found
Tags v0.3
No related merge requests found
Pipeline #5376 passed
......@@ -215,7 +215,7 @@ void compute_abstract_paths(const string& net_file, int bound,
// build the net
cout << "\nBuilding net ...";
float start_net_time = getTime();
RdPBDD R(model, obs_trans, unobs_trans, bound, false);
RdPBDD R(model, obs_trans, unobs_trans, bound, true);
float net_time = getTime() - start_net_time;
cout << " done\nTime for computing the net: " << net_time << " seconds"
<< endl;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment