getting_started:practical_problems:add_saf_level
This is an old revision of the document!
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.1527765965.txt.gz · Last modified: 2018/05/31 13:26 (external edit)