Frontend for house event should not support arbitrary probabilities

troeger / fuzzed

The Open Reliability Editor (ORE) for dependability modeling and analysis.

https://live.ore-project.org

20 stars 9 forks source link

Open laena opened 9 years ago

laena commented 9 years ago

Currently, house events, like basic events, can be assigned any probability in the GUI. There should actually only be the choice between P=0 and P=1.

troeger commented 9 years ago

@Markus-Goetz could know if this is simply a case of tweaking the notations file.