alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

sat: catch write errors

Browse source 
* src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc: Throw
exceptions on write errors.
This commit is contained in:
Alexandre Duret-Lutz 2013-09-04 13:58:40 +02:00
parent 1f3b7e8002
commit 22f944ad56
2 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/dtbasat.cc
View file

@ -660,6 +660,7 @@ namespace spot
#if DEBUG #if DEBUG
std::fstream out("dtba-sat.dbg", std::fstream out("dtba-sat.dbg",
std::ios_base::trunc | std::ios_base::out); std::ios_base::trunc | std::ios_base::out);
out.exceptions(std::ifstream::failbit | std::ifstream::badbit);
std::set<int> positive; std::set<int> positive;
#endif #endif
@ -774,6 +775,7 @@ namespace spot
cnf = create_tmpfile("dtba-sat-", ".cnf"); cnf = create_tmpfile("dtba-sat-", ".cnf");
std::fstream cnfs(cnf->name(), std::fstream cnfs(cnf->name(),
std::ios_base::trunc | std::ios_base::out); std::ios_base::trunc | std::ios_base::out);
cnfs.exceptions(std::ifstream::failbit | std::ifstream::badbit);
dtba_to_sat(cnfs, a, *current, state_based); dtba_to_sat(cnfs, a, *current, state_based);
cnfs.close(); cnfs.close();
} }

2
src/tgbaalgos/dtgbasat.cc
View file

@ -869,6 +869,7 @@ namespace spot
#if DEBUG #if DEBUG
std::fstream out("dtgba-sat.dbg", std::fstream out("dtgba-sat.dbg",
std::ios_base::trunc | std::ios_base::out); std::ios_base::trunc | std::ios_base::out);
out.exceptions(std::ifstream::failbit | std::ifstream::badbit);
std::set<int> positive; std::set<int> positive;
#endif #endif
@ -982,6 +983,7 @@ namespace spot
cnf = create_tmpfile("dtgba-sat-", ".cnf"); cnf = create_tmpfile("dtgba-sat-", ".cnf");
std::fstream cnfs(cnf->name(), std::fstream cnfs(cnf->name(),
std::ios_base::trunc | std::ios_base::out); std::ios_base::trunc | std::ios_base::out);
cnfs.exceptions(std::ifstream::failbit | std::ifstream::badbit);
dtgba_to_sat(cnfs, a, *current, state_based); dtgba_to_sat(cnfs, a, *current, state_based);
cnfs.close(); cnfs.close();
} }