|
@ -97,7 +97,8 @@ namespace storm { |
|
|
} |
|
|
} |
|
|
} else { |
|
|
} else { |
|
|
constantDefinitions.push_back(""); |
|
|
constantDefinitions.push_back(""); |
|
|
janiFiles.push_back(janiFileName); |
|
|
|
|
|
|
|
|
janiFiles.push_back(modelPath + "/" + janiFileName); |
|
|
|
|
|
instanceInfos.push_back(janiFileName); |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|