| java.lang.Object
 de.uka.ilkd.key.counterexample.TestProgramm
| TestProgramm | | public class TestProgramm (Code) | | TestProgramm zum Testen des CounterExample Packages
Achtung: sehr sehr gehackt, z.B. sind die Sorten in
den Axiomen nicht dieselben wie die im ADT!!!!
|
| Method Summary | |
| public static void | main(String[] args)
Following: the test programm which should output the
results of the above functions if the programm does
not crash with a runtime exception beforehand. |
| main | | public static void main(String[] args)(Code) | | Following: the test programm which should output the
results of the above functions if the programm does
not crash with a runtime exception beforehand.
first output should be the abstract data type and
second output should be the counterexample ...
while (not working) {
if (output~(seems)~sensible) then { 'Hooray'; its = working }
else { program some more }
}
|
|
|