From 927a8f93cceb3cf0a4a2e4ed57ed0f22ed621349 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 10 May 2017 16:33:06 +0200
Subject: [PATCH] fixed translation of rational numbers to mathsat expressions
---
src/storm/adapters/MathsatExpressionAdapter.h | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/storm/adapters/MathsatExpressionAdapter.h b/src/storm/adapters/MathsatExpressionAdapter.h
index 1e70d546a..357c482b3 100644
--- a/src/storm/adapters/MathsatExpressionAdapter.h
+++ b/src/storm/adapters/MathsatExpressionAdapter.h
@@ -182,7 +182,9 @@ namespace storm {
}
virtual boost::any visit(storm::expressions::RationalLiteralExpression const& expression, boost::any const&) override {
- return msat_make_number(env, std::to_string(expression.getValueAsDouble()).c_str());
+ std::stringstream fractionStream;
+ fractionStream << expression.getValue();
+ return msat_make_number(env, fractionStream.str().c_str());
}
virtual boost::any visit(storm::expressions::IntegerLiteralExpression const& expression, boost::any const&) override {