fuzzed
fuzzed copied to clipboard
Allow configuration of analysis run
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.