Browse Source

Removed debug output

Former-commit-id: ca149a082f
tempestpy_adaptions
Mavo 9 years ago
parent
commit
e04cc99931
  1. 1
      src/modelchecker/csl/helper/SparseCtmcCslHelper.cpp

1
src/modelchecker/csl/helper/SparseCtmcCslHelper.cpp

@ -657,7 +657,6 @@ namespace storm {
// Initialize rewards. // Initialize rewards.
std::vector<ValueType> totalRewardVector; std::vector<ValueType> totalRewardVector;
for (size_t i = 0; i < exitRateVector.size(); ++i) { for (size_t i = 0; i < exitRateVector.size(); ++i) {
std::cout << i << std::endl;
if (targetStates[i]) { if (targetStates[i]) {
// Set reward for target states to 0. // Set reward for target states to 0.
totalRewardVector.push_back(storm::utility::zero<ValueType>()); totalRewardVector.push_back(storm::utility::zero<ValueType>());
Loading…
Cancel
Save