Add new check button and debug button instead of start button
Vor Check:
- man sieht KEINE Axiome.
- Keine Manipulation of DPI (possibly faulty <-> correct),
Bei Check:
- Evaluate DPI,
- Checking for consistency.
- Checking for coherency.
- Module extraction.
- Kein Reduce to inconsistency (dieses erfolgt im Debugschritt).
Wenn Inkonsistent oder Inkohärent Dann:
Nach Check:
- Man sieht Axiome vom Modul (alle Axiome werden als possibly faulty angezeigt - da keine reduction to inconsistency gemacht wurde, sind auch keine anonymen Axiome in den korrekten Axiomen angezeigt)
- Benachrichtigung für den User mittels Popup-Window dass der Benutzer die DPI durch Verschieben zwischen possibly faulty und correct axioms manipulieren kann bevor er die Debugging session startet
- Aktivierung des Debug-Buttons.
- Prüfe, nach jeder Benutzeraktion (= Verschiebung von possibly faulty zu correct, Erzeugung von Testcases #27 (closed) ) ob DPI noch gültig ist (Inkonsistenzen können entstehen!)
Click auf Debug:
- Starten einer Debugging Session
- hier wird reduce to inconsistency aktiviert
Edited by Wolfgang Schmid