From a072ef5310434381171b2b0ac71cf15991e057be Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 3 Nov 2017 16:06:24 +0100 Subject: [PATCH] some fixes to handle large parameters --- src/storm/adapters/Z3ExpressionAdapter.cpp | 2 +- src/storm/utility/cli.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/adapters/Z3ExpressionAdapter.cpp b/src/storm/adapters/Z3ExpressionAdapter.cpp index d715f4599..74e2d219c 100644 --- a/src/storm/adapters/Z3ExpressionAdapter.cpp +++ b/src/storm/adapters/Z3ExpressionAdapter.cpp @@ -237,7 +237,7 @@ namespace storm { } boost::any Z3ExpressionAdapter::visit(storm::expressions::IntegerLiteralExpression const& expression, boost::any const&) { - return context.int_val(static_cast(expression.getValue())); + return context.int_val(expression.getValue()); } boost::any Z3ExpressionAdapter::visit(storm::expressions::UnaryBooleanFunctionExpression const& expression, boost::any const& data) { diff --git a/src/storm/utility/cli.cpp b/src/storm/utility/cli.cpp index ded3f9a6a..ddc46fae2 100644 --- a/src/storm/utility/cli.cpp +++ b/src/storm/utility/cli.cpp @@ -55,7 +55,7 @@ namespace storm { throw storm::exceptions::WrongFormatException() << "Illegal value for boolean constant: " << value << "."; } } else if (variable.hasIntegerType()) { - int_fast64_t integerValue = std::stoi(value); + int_fast64_t integerValue = std::stoll(value); constantDefinitions[variable] = manager.integer(integerValue); } else if (variable.hasRationalType()) { try {