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

complement: improve code coverage

Browse source 
* spot/twaalgos/complement.cc: removed unused code
* tests/python/except.py: test for exception raised
This commit is contained in:
Antoine Martin 2018-07-02 18:36:56 +02:00
parent 4ca38d225a
commit 43d426aaae
2 changed files with 9 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

18
spot/twaalgos/complement.cc
View file

@ -310,22 +310,8 @@ namespace spot
} }
} }
else else
{ for (auto& succ: succs)
auto it = succs.begin(); succ[t.dst] = ncsb_n;
while (it != succs.end())
{
// remove state if it should stay in s or c
if ((*it)[t.dst] == ncsb_s
|| (*it)[t.dst] == ncsb_c)
{
std::iter_swap(it, succs.end() - 1);
succs.pop_back();
continue;
}
(*it)[t.dst] = ncsb_n;
++it;
}
}
} }
} }

7
tests/python/except.py
View file

@ -152,3 +152,10 @@ except RuntimeError as e:
assert "bit index is out of bounds" in str(e) assert "bit index is out of bounds" in str(e)
else: else:
report_missing_exception() report_missing_exception()
try:
spot.complement_semidet(spot.translate('Gb R a', 'ba'))
except RuntimeError as e:
assert "requires a semi-deterministic input" in str(e)
else:
report_missing_exception()