From 35d136574d2099bd822685103f5dea37091bda5a Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 11 Jun 2021 17:36:35 -0700 Subject: [PATCH] clear debug code from tests (feedback from TQ) --- .../storm/simulator/PrismProgramSimulator.cpp | 29 ------------------- 1 file changed, 29 deletions(-) diff --git a/src/test/storm/simulator/PrismProgramSimulator.cpp b/src/test/storm/simulator/PrismProgramSimulator.cpp index 90b3873eb..21a8439c6 100644 --- a/src/test/storm/simulator/PrismProgramSimulator.cpp +++ b/src/test/storm/simulator/PrismProgramSimulator.cpp @@ -14,43 +14,14 @@ TEST(PrismProgramSimulatorTest, KnuthYaoDieTest) { rew = sim.getLastRewards(); EXPECT_EQ(1ul, rew.size()); EXPECT_EQ(0.0, rew[0]); -#if 0 - std::cout << "reward: "; - for (auto const& r : rew) { - std::cout << r << " "; - } - std::cout << std::endl; - std::cout << sim.getCurrentStateAsValuation() << std::endl; - for (auto const& c : sim.getChoices()) { - std::cout << "Choice "; - std::cout << "action index: " << program.getActionName(c.getActionIndex()) << std::endl; - } -#endif EXPECT_EQ(2ul, sim.getChoices().size()); sim.step(0); rew = sim.getLastRewards(); EXPECT_EQ(1ul, rew.size()); EXPECT_EQ(0.0, rew[0]); -#if 0 - std::cout << "reward: "; - for (auto const& r : rew) { - std::cout << r << " "; - } - std::cout << std::endl; - std::cout << sim.getCurrentStateString() << std::endl; -#endif EXPECT_EQ(1ul, sim.getChoices().size()); sim.step(0); rew = sim.getLastRewards(); EXPECT_EQ(1ul, rew.size()); EXPECT_EQ(1.0, rew[0]); -#if 0 - std::cout << "reward: "; - for (auto const& r : rew) { - std::cout << r << " "; - } - std::cout << std::endl; - std::cout << sim.getCurrentStateString() << std::endl; -#endif - }