From 2aec312fbda27cee173b3c4aea7c6756c5b270ae Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 7 Oct 2015 17:58:03 +0200
Subject: [PATCH] testcase-stub for kshortest added

Former-commit-id: 215c5b73788c143bbd413dd55185c672fe6b8c4c [formerly 5598231acbf66f5220902832823efd57e6d15574]
Former-commit-id: 6d51229aa17a09d0bbeb9ce47ddf096772d03d05
---
 src/test/utility/GraphTest.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/test/utility/GraphTest.cpp b/src/test/utility/GraphTest.cpp
index dff3ccc53..903ea1076 100644
--- a/src/test/utility/GraphTest.cpp
+++ b/src/test/utility/GraphTest.cpp
@@ -263,3 +263,14 @@ TEST(GraphTest, ExplicitProb01MinMax) {
     EXPECT_EQ(993ul, statesWithProbability01.first.getNumberOfSetBits());
     EXPECT_EQ(16ul, statesWithProbability01.second.getNumberOfSetBits());
 }
+
+TEST(GraphTest, kshortest) {
+    storm::prism::Program program = storm::parser::PrismParser::parse(STORM_CPP_TESTS_BASE_PATH "/functional/builder/leader3.nm");
+    std::shared_ptr<storm::models::sparse::Model<double>> model = storm::builder::ExplicitPrismModelBuilder<double>().translateProgram(program);
+
+    ASSERT_TRUE(model->getType() == storm::models::ModelType::Mdp);
+
+    std::cout << model->getNumberOfStates() << std::endl;
+
+    EXPECT_TRUE(false);
+}
\ No newline at end of file