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

fix some unused variable warning in mingw

Browse source 
* spot/twaalgos/mealy_machine.cc (is_split_mealy_specialization): Hide
spl in NDEBUG.
* spot/twaalgos/synthesis.cc (apply_strategy): sp is not always used.
This commit is contained in:
Alexandre Duret-Lutz 2021-11-17 21:54:39 +01:00
parent 81375d7a93
commit 59b361babd
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/twaalgos/mealy_machine.cc
View file

@ -3725,13 +3725,12 @@ namespace spot
assert(is_split_mealy(left));
assert(is_split_mealy(right));
auto& spl = get_state_players(left);
auto& spr = get_state_players(right);
const unsigned initl = left->get_init_state_number();
const unsigned initr = right->get_init_state_number();
auto& spr = get_state_players(right);
#ifndef NDEBUG
auto& spl = get_state_players(left);
// todo
auto check_out = [](const const_twa_graph_ptr& aut,
const auto& sp)

1
spot/twaalgos/synthesis.cc
View file

@ -150,6 +150,7 @@ namespace{
assert((sp[arena->get_init_state_number()] == false)
&& "Env needs to have first turn!");
(void)sp;
assert(std::none_of(arena->edges().begin(), arena->edges().end(),
[&sp](const auto& e)