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; -}