|
@ -308,6 +308,7 @@ namespace storm { |
|
|
|
|
|
|
|
|
void processOptions() { |
|
|
void processOptions() { |
|
|
// Start by setting some urgent options (log levels, etc.)
|
|
|
// Start by setting some urgent options (log levels, etc.)
|
|
|
|
|
|
// We cannot use the general variants used for other executables since the "GeneralSettings" module is not available in Storm-conv
|
|
|
setUrgentOptions(); |
|
|
setUrgentOptions(); |
|
|
|
|
|
|
|
|
// Branch on the type of input
|
|
|
// Branch on the type of input
|
|
|