From 22f944ad56da5415a8c9593a277f38f69bc741ff Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 4 Sep 2013 13:58:40 +0200 Subject: [PATCH] sat: catch write errors * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc: Throw exceptions on write errors. --- src/tgbaalgos/dtbasat.cc | 2 ++ src/tgbaalgos/dtgbasat.cc | 2 ++ 2 files changed, 4 insertions(+) diff --git a/src/tgbaalgos/dtbasat.cc b/src/tgbaalgos/dtbasat.cc index 4b00e9179..c82285466 100644 --- a/src/tgbaalgos/dtbasat.cc +++ b/src/tgbaalgos/dtbasat.cc @@ -660,6 +660,7 @@ namespace spot #if DEBUG std::fstream out("dtba-sat.dbg", std::ios_base::trunc | std::ios_base::out); + out.exceptions(std::ifstream::failbit | std::ifstream::badbit); std::set positive; #endif @@ -774,6 +775,7 @@ namespace spot cnf = create_tmpfile("dtba-sat-", ".cnf"); std::fstream cnfs(cnf->name(), std::ios_base::trunc | std::ios_base::out); + cnfs.exceptions(std::ifstream::failbit | std::ifstream::badbit); dtba_to_sat(cnfs, a, *current, state_based); cnfs.close(); } diff --git a/src/tgbaalgos/dtgbasat.cc b/src/tgbaalgos/dtgbasat.cc index 9e95dab44..c55ec7e67 100644 --- a/src/tgbaalgos/dtgbasat.cc +++ b/src/tgbaalgos/dtgbasat.cc @@ -869,6 +869,7 @@ namespace spot #if DEBUG std::fstream out("dtgba-sat.dbg", std::ios_base::trunc | std::ios_base::out); + out.exceptions(std::ifstream::failbit | std::ifstream::badbit); std::set positive; #endif @@ -982,6 +983,7 @@ namespace spot cnf = create_tmpfile("dtgba-sat-", ".cnf"); std::fstream cnfs(cnf->name(), std::ios_base::trunc | std::ios_base::out); + cnfs.exceptions(std::ifstream::failbit | std::ifstream::badbit); dtgba_to_sat(cnfs, a, *current, state_based); cnfs.close(); }