From ee83e8e4c223c6dda7816e85ddecbe8c85ae7fd2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 3 Oct 2021 00:57:21 +0200 Subject: [PATCH] tests: work around to compiler warnings * tests/core/cube.cc, tests/core/twagraph.cc: Fix warning about unused variable in absence of assert(). --- tests/core/cube.cc | 6 ++++-- tests/core/twagraph.cc | 1 + 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/tests/core/cube.cc b/tests/core/cube.cc index fc94b1152..7a93c3c87 100644 --- a/tests/core/cube.cc +++ b/tests/core/cube.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2015, 2016, 2018, 2020 Laboratoire de Recherche et +// Copyright (C) 2015-2016, 2018, 2020-2021 Laboratoire de Recherche et // Développement de l'Epita. // // This file is part of Spot, a model checking library. @@ -100,7 +100,7 @@ static void test_bdd_to_cube() // The BDD to convert bdd x; - bool result; + int result; // Test bddtrue x = bddtrue; @@ -123,6 +123,8 @@ static void test_bdd_to_cube() result = test_translation(x, cubeset, binder, reverse_binder, aps); assert(result); + (void)result; + // Free all variables d->unregister_variable(idx_e, d); d->unregister_variable(idx_d, d); diff --git a/tests/core/twagraph.cc b/tests/core/twagraph.cc index e5d70e59a..7b4515268 100644 --- a/tests/core/twagraph.cc +++ b/tests/core/twagraph.cc @@ -212,6 +212,7 @@ static void f6() unsigned out = tg->merge_states_of(); assert(out == 3); + (void) out; } // Compare merge_states() and merge_states_of()