From 97936cbd8eb214f62059aab0f7f9277f85efd083 Mon Sep 17 00:00:00 2001 From: masawei Date: Thu, 26 Feb 2015 13:25:18 +0100 Subject: [PATCH] Found a fix for a bug causing the functional tests to segfault at DeterministicModelBisimulationDecomposition.Die. - By setting the blocks to be not sorted and unique a different constructor is used by the boost container. This prevents the segfault. |- I can't say exactly why this works nor do I know if the blocks are actually sorted and unique in the sense meant by the underlying container implementation. Former-commit-id: a1bfbab75a24c90cd0a54ac1e8bec5cabb9fe978 --- src/storage/DeterministicModelBisimulationDecomposition.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storage/DeterministicModelBisimulationDecomposition.cpp b/src/storage/DeterministicModelBisimulationDecomposition.cpp index 6e974f58c..b20311ba9 100644 --- a/src/storage/DeterministicModelBisimulationDecomposition.cpp +++ b/src/storage/DeterministicModelBisimulationDecomposition.cpp @@ -875,7 +875,7 @@ namespace storm { // Convert the state-value-pairs to states only. std::function const&)> projection = [] (std::pair const& a) -> storm::storage::sparse::state_type { return a.first; }; - this->blocks[block.getId()] = block_type(boost::make_transform_iterator(partition.getBegin(block), projection), boost::make_transform_iterator(partition.getEnd(block), projection), true); + this->blocks[block.getId()] = block_type(boost::make_transform_iterator(partition.getBegin(block), projection), boost::make_transform_iterator(partition.getEnd(block), projection), false); } // If we are required to build the quotient model, do so now. @@ -1493,4 +1493,4 @@ namespace storm { template class DeterministicModelBisimulationDecomposition; #endif } -} \ No newline at end of file +}