История изменений
Исправление no-such-file, (текущая версия) :
Везде, где может
Пусть задан диапазон p 0..100, диапазон q 0..10, дано выражение p=p*q/2. При определенных условиях (достаточно малые p и q) результат корректен и попадает в заданный диапазон для p, но не всегда. Является ли данное выражение корректным для статического проверяльщика. Если нет, то как мне вывернуться, чтобы задать корректный диапазон для q, если он зависит от значения p?
Исходная версия no-such-file, :
Везде, где может
Пусть задан диапазон p 0..100, диапазон q 0..10, дано выражение p=p*q/2. При определенных условиях (достаточно малые p и q) результат корректен и попадает в заданный диапазон для p, но не всегда. Является ли данное выражение корректным для статического проверяльщика. Если нет, то как мне вывернуться, чтобы задать корректный диапазон для q если он зависит от значения p?