troeger / fuzzed

The Open Reliability Editor (ORE) for dependability modeling and analysis.
https://live.ore-project.org
21 stars 9 forks source link

Allow configuration of analysis run #28

Open cwerling opened 10 years ago

cwerling commented 10 years ago

The analysis window should contain a slider for the decision of "Speed" <-> "Precision", which maps to a decomposition number between 1 and 10 (inclusive). The chosen value must be stored as part of the graph state to configure the slider on the next run. The default value without any state in the graph is 2.