Mantis Bugtracker

Erweiterte Problemanzeige Zu Notizen wechseln ] einfache Anzeige ] Problem-Historie ] Drucken ]
ID Kategorie Auswirkung Reproduzierbar Meldungsdatum Letzte Aktualisierung
0000139 [Kaputt] general kleinerer Fehler immer 2016-12-21 00:58 2016-12-21 00:58
Reporter Bergi Anzeigestatus öffentlich  
Bearbeitung durch
Priorität normal Lösung offen Rechnertyp
Status neu   Betriebssystem
Projektion keine   BS-Version
Aufwand keine Behoben in Version Produktversion
  Zielversion Produkt-Build
Zusammenfassung 0000139: Kaputt should check all specifications not only the first
Beschreibung The docs say (and the code confirms)

| When checking if the function matches its specification,
| Kaputt will determine the first precondition from the list
| that holds, and ensure that the corresponding postcondition
| holds: if not, a counterexample has been found.

This is not helpful in my standard usage. I've got multiple postconditions that I want to test, some of them with preconditions because they don't apply to every test case.
I would rather have all the implications in the list checked on every test run.

Or maybe I'm doing something wrong here, and I should rather use multiple tests for this?
Schritte zur Reproduktion
Zusätzliche Information
Tags Keine Tags zugeordnet.
Angehängte Dateien

- Problem-Beziehungen

Zu diesem Problem gibt es keine Notizen.

- Problem-Historie
Änderungsdatum Benutzername Feld Änderung
2016-12-21 00:58 Bergi Neues Problem


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker