From 3af128184e197ec5636b78f444d52166a988fbf4 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 17 Jun 2021 13:15:21 +0200
Subject: [PATCH] Fixed usage of missing operator<< for permissive scheduler
 tests

---
 .../permissiveschedulers/MilpPermissiveSchedulerTest.cpp  | 8 ++++----
 .../permissiveschedulers/SmtPermissiveSchedulerTest.cpp   | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/test/storm/permissiveschedulers/MilpPermissiveSchedulerTest.cpp b/src/test/storm/permissiveschedulers/MilpPermissiveSchedulerTest.cpp
index 3c756d283..10b5b5dab 100644
--- a/src/test/storm/permissiveschedulers/MilpPermissiveSchedulerTest.cpp
+++ b/src/test/storm/permissiveschedulers/MilpPermissiveSchedulerTest.cpp
@@ -38,14 +38,14 @@ TEST(MilpPermissiveSchedulerTest, DieSelection) {
     std::shared_ptr<storm::models::sparse::Mdp<double>> mdp = storm::builder::ExplicitModelBuilder<double>(program, options).build()->as<storm::models::sparse::Mdp<double>>();
     
     boost::optional<storm::ps::SubMDPPermissiveScheduler<>> perms = storm::ps::computePermissiveSchedulerViaMILP<>(*mdp, formula02);
-    EXPECT_NE(perms, boost::none);
+    EXPECT_TRUE(perms.is_initialized());
     boost::optional<storm::ps::SubMDPPermissiveScheduler<>> perms2 = storm::ps::computePermissiveSchedulerViaMILP<>(*mdp, formula001);
-    EXPECT_EQ(perms2, boost::none);
+    EXPECT_FALSE(perms2.is_initialized());
 
     boost::optional<storm::ps::SubMDPPermissiveScheduler<>> perms3 = storm::ps::computePermissiveSchedulerViaMILP<>(*mdp, formula02b);
-    EXPECT_EQ(perms3, boost::none);
+    EXPECT_FALSE(perms3.is_initialized());
     boost::optional<storm::ps::SubMDPPermissiveScheduler<>> perms4 = storm::ps::computePermissiveSchedulerViaMILP<>(*mdp, formula001b);
-    EXPECT_NE(perms4, boost::none);
+    EXPECT_TRUE(perms4.is_initialized());
 
     storm::modelchecker::SparseMdpPrctlModelChecker<storm::models::sparse::Mdp<double>> checker0(*mdp);
 
diff --git a/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp b/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp
index 0553c691c..ca0fe3345 100644
--- a/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp
+++ b/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp
@@ -40,9 +40,9 @@ TEST(SmtPermissiveSchedulerTest, DieSelection) {
 //    EXPECT_EQ(perms2, boost::none);
     
     boost::optional<storm::ps::SubMDPPermissiveScheduler<>> perms3 = storm::ps::computePermissiveSchedulerViaSMT<>(*mdp, formula02b);
-    EXPECT_NE(perms3, boost::none);
+    EXPECT_TRUE(perms3.is_initialized());
     boost::optional<storm::ps::SubMDPPermissiveScheduler<>> perms4 = storm::ps::computePermissiveSchedulerViaSMT<>(*mdp, formula001b);
-    EXPECT_EQ(perms4, boost::none);
+    EXPECT_FALSE(perms4.is_initialized());
     
     storm::modelchecker::SparseMdpPrctlModelChecker<storm::models::sparse::Mdp<double>> checker0(*mdp);