Четири врсте претраге

Већина алата за проверу сортира своје налазе по томе колико су озбиљни. Овај их сортира по ономе што може да докаже. Извештај приказује четири врсте, увек овим редоследом.

Свака врста је картица са сопственим бројем. Врста која није пронашла ништа нема картицу, тако да нећете видети празну.

Доказано немогуће

На екрану: Аритметика, а не нагађање.

Провера долази до сваког налаза овде бројањем. Упоређује уложене сате са слободним терминима. Смањује легална времена почетка активности на нулу. Проналази две активности које морају да се одвијају у исто време и деле наставника.

Можете поступати по овим налазима без да их сами проверавате. Ако извештај каже да активност нема легално време почетка, ни решавач не може да га пронађе.

Ово је уговор алата. Провера никада не пријављује налаз овде који не може да докаже. Алат који подигне једну лажну узбуну је алат у који престајете да верујете.

Грешке

На екрану: Нешто овде вероватно није оно што сте мислили.

Ови налази не заустављају решавање. Они показују да ваша правила говоре нешто што вероватно нисте намеравали.

• Правило указује на нешто што више не постоји.
• Правило циља активност коју сте искључили.
• Два правила говоре потпуно исту ствар.
• Мека преференција никада не може да се примени, па је FET игнорише.

Ништа од овога не чини распоред немогућим. Правила која нико не разуме узрокују мистерију следећег семестра.

Шта отежава ову датотеку

На екрану: Ово није проблем. То је посао који решавач мора да обави.

Овде ништа није погрешно. Ова врста описује притисак у вашој датотеци. Наводи активности које готово да немају слободног простора. Наводи делове недеље који су тесни.

⚠ Прочитајте ову врсту пре него што недељу учините тешњом.

Наслов се мења за решену датотеку. Тада гласи Шта је отежало ову датотеку, јер је посао завршен.

Шта је покренуто на овој датотеци

На екрану: Врсте правила које наводимо и бројите, никада не судимо.

Ова врста је тиха и извештава о самој провери, а не о вашој датотеци. Наводи врсте правила које је пребројала. Говори вам када ваш режим решавача зауставља покретање провере. Говори вам када се провера рано зауставила на веома великој датотеци.

Прочитајте ову врсту када извештај изгледа празније него што сте очекивали. Обично објашњава зашто.

Картица која недостаје није гаранција

Провера извештава оно што може да докаже. Из тога не произилази да је све остало тачно.

Недостатак картице "Доказано немогуће" значи "ништа није доказано немогућим". То не значи "ово ће се решити".

⚠ Ово је најважнија реченица на страници, а екран олакшава да се пропусти: картица је једноставно одсутна, тако да нема ништа за читање и ништа за кликање. Одсуство је добар исход, а не потпун.

Распоред може бити могућ аритметички и још увек захтевати дуго време за FET. Можда ће и даље бити потребно ублажити правила пре него што се успостави. Погледајте Шта вам не може рећи.

Где даље

• Поправљање онога што пронађе
• Шта вам не може рећи