From 3795519fea5163683eb9b881d0a0769b142c20ff Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Tue, 3 Jan 2017 13:31:51 +0100 Subject: [PATCH] removed old unit tests for jani parser, to be replaced by regression tests --- src/test/parser/JaniParserTest.cpp | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 src/test/parser/JaniParserTest.cpp diff --git a/src/test/parser/JaniParserTest.cpp b/src/test/parser/JaniParserTest.cpp deleted file mode 100644 index 91d019382..000000000 --- a/src/test/parser/JaniParserTest.cpp +++ /dev/null @@ -1,21 +0,0 @@ -#include "gtest/gtest.h" -#include "storm-config.h" -#include "storm/parser/JaniParser.h" -#include "storm/storage/jani/Model.h" -#include "storm/storage/jani/Property.h" - - -TEST(JaniParser, DieTest) { - std::string testFileInput = STORM_TEST_RESOURCES_DIR"/../examples/exported-jani-models/dice.jani"; - storm::jani::Model model = storm::parser::JaniParser::parse(testFileInput).first; -} - -TEST(JaniParser, BrpTest) { - std::string testFileInput = STORM_TEST_RESOURCES_DIR"/../examples/exported-jani-models/brp.jani"; - storm::jani::Model model = storm::parser::JaniParser::parse(testFileInput).first; -} - -TEST(JaniParser, ConsensusTest) { - std::string testFileInput = STORM_TEST_RESOURCES_DIR"/../examples/exported-jani-models/coin2.jani"; - storm::jani::Model model = storm::parser::JaniParser::parse(testFileInput).first; -}