User Tools

Site Tools


getting_started:practical_problems:add_saf_level

Comparisons of Safety Level do not Work

If you compare the actual safety level to a given level and the the comparison seemingly yields wrong results, you should check if you added these levels to the safety system with addLevel. If you forget to add some levels the safety system cannot logically order them and comparisons do not properly work, see Safety Properties

getting_started/practical_problems/add_saf_level.txt · Last modified: 2018/05/31 13:26 (external edit)