Skip to content
GitLab
Explore
Sign in
Spot
Spot
Merge requests
!70
fix namespace for exception errors
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alexandre Duret-Lutz
requested to merge
adl/mealyerrors
into
next
Nov 11, 2022
Overview
0
Commits
6
Pipelines
1
Changes
18
Expand
spot/priv/satcommon.cc, spot/twaalgos/dtbasat.cc, spot/twaalgos/dtwasat.cc: When setting exception on std::ofstream, use ofstream::failbit and ofstream::badbit instead of ifstream::failbit and ifstream::badbit.
Merge request reports