diff --git a/NEWS b/NEWS index 3a8f07b5f..3409bc033 100644 --- a/NEWS +++ b/NEWS @@ -76,6 +76,8 @@ New in spot 1.99.2a (not yet released) - Fix spurious failure of uniq.test under different locales. - ltlcross now recovers from out-of-memory errors during state-space products. + - bitvect.test was failing on 32bit with assertions enabled + because of a bug in the test case. New in spot 1.99.2 (2015-07-18) diff --git a/src/tests/bitvect.cc b/src/tests/bitvect.cc index 3e88efabd..46f31e9b6 100644 --- a/src/tests/bitvect.cc +++ b/src/tests/bitvect.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement -// de l'Epita (LRDE). +// Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -65,7 +65,7 @@ int main() ECHO(x); std::cout << "subset? " << w->is_subset_of(*x) - << ' ' << w->is_subset_of(*v) << '\n'; + << ' ' << v->is_subset_of(*w) << '\n'; for (size_t i = 0; i < 30; ++i) w->push_back((i & 3) == 0);