Browse Source
Included missing header required to output boost::optionals in tests
tempestpy_adaptions
Tim Quatmann
3 years ago
No known key found for this signature in database
GPG Key ID: 6EDE19592731EEC3
1 changed files with
2 additions and
0 deletions
-
src/test/storm_gtest.h
|
|
@ -2,6 +2,8 @@ |
|
|
|
|
|
|
|
|
#include "gtest/gtest.h" |
|
|
#include "gtest/gtest.h" |
|
|
|
|
|
|
|
|
|
|
|
#include <boost/optional/optional_io.hpp> |
|
|
|
|
|
|
|
|
#include "storm/adapters/RationalNumberAdapter.h" |
|
|
#include "storm/adapters/RationalNumberAdapter.h" |
|
|
#include "storm/utility/constants.h" |
|
|
#include "storm/utility/constants.h" |
|
|
#include "storm/utility/initialize.h" |
|
|
#include "storm/utility/initialize.h" |
|
|
|
