You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
32 lines
1.5 KiB
32 lines
1.5 KiB
#include "gtest/gtest.h"
|
|
#include "storm-config.h"
|
|
#include "src/parser/PrismParser.h"
|
|
//#include "src/utility/IoUtility.h"
|
|
#include "src/ir/Program.h"
|
|
#include "src/adapters/ExplicitModelAdapter.h"
|
|
#include "src/models/Dtmc.h"
|
|
#include "src/models/Mdp.h"
|
|
#include "src/settings/Settings.h"
|
|
#include "src/settings/InternalOptionMemento.h"
|
|
|
|
TEST(ParsePrismTest, parseCrowds5_5) {
|
|
storm::settings::InternalOptionMemento deadlockOption("fixDeadlocks", true);
|
|
ASSERT_TRUE(storm::settings::Settings::getInstance()->isSet("fixDeadlocks"));
|
|
storm::ir::Program program;
|
|
ASSERT_NO_THROW(program = storm::parser::PrismParserFromFile(STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds5_5.pm"));
|
|
std::shared_ptr<storm::models::AbstractModel<double>> model = storm::adapters::ExplicitModelAdapter<double>::translateProgram(program);
|
|
|
|
ASSERT_EQ(model->getNumberOfStates(), 8607ull);
|
|
ASSERT_EQ(model->getNumberOfTransitions(), 15113ull);
|
|
}
|
|
|
|
TEST(ParsePrismTest, parseTwoDice) {
|
|
storm::ir::Program program;
|
|
ASSERT_NO_THROW(program = storm::parser::PrismParserFromFile(STORM_CPP_BASE_PATH "/examples/mdp/two_dice/two_dice.nm"));
|
|
|
|
std::shared_ptr<storm::models::AbstractModel<double>> model = storm::adapters::ExplicitModelAdapter<double>::translateProgram(program, "", "coinflips");
|
|
|
|
ASSERT_EQ(model->getNumberOfStates(), 169ull);
|
|
ASSERT_EQ(model->as<storm::models::AbstractNondeterministicModel<double>>()->getNumberOfChoices(), 254ull);
|
|
ASSERT_EQ(model->getNumberOfTransitions(), 436ull);
|
|
}
|