Mantis - Kaputt
Erweiterte Problemanzeige
139 general kleinerer Fehler immer 2016-12-21 00:58 2016-12-21 00:58
Bergi  
 
normal  
neu  
offen  
keine    
keine  
0000139: Kaputt should check all specifications not only the first
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?
Problem-Historie
2016-12-21 00:58 Bergi Neues Problem

Zu diesem Problem gibt es keine Notizen.