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

* spot/twaalgos/mealy_machine.cc (is_complete_): Define in debug only.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-07-05 10:41:24 +02:00
parent 833fcdebc1
commit efee1c4130
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/mealy_machine.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2021 Laboratoire de Recherche et Développement // Copyright (C) 2021, 2022 Laboratoire de Recherche et Développement
// de l'Epita (LRDE). // de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -67,6 +67,7 @@ namespace
return true; return true;
} }
#ifndef NDEBUG
bool is_complete_(const const_twa_graph_ptr& m, bool is_complete_(const const_twa_graph_ptr& m,
const bdd& outs) const bdd& outs)
{ {
@ -84,6 +85,7 @@ namespace
} }
return true; return true;
} }
#endif
} }