Я использую файл DRS xml в Mathworks Polyspace для точной настройки некоторых утверждений. Когда я хочу получить полный диапазон, я помещаю строку ниже:
<scalar assert_range="min..max" name="myVariable" />
Каково точное значение min и max, когда переменная имеет тип float?
Будет ли оно утверждено для -INFINITY..INFINITY тоже или только -FLT_MAX..FLT_MAX?