blatt02, 12.10.2012

****************************************************************
Loesung mit Splint pruefen
****************************************************************
Splint 3.1.1 --- 09 Aug 2007

blatt02/submissions/24720/build/main.c: (in function ulam)
blatt02/submissions/24720/build/main.c:23:9: Assignment of double to int:
                                                erg = (1.0 / 2.0) * z
  To allow all numeric types to match, use +relaxtypes.

Finished checking --- 1 code warning
make[1]: [splint] Error 1 (ignored)

****************************************************************
Falls Loesung eine main-Funktion enthaelt wird diese umbenannt
****************************************************************
Untersuche... ./blatt02/submissions/24720/build/main.c

****************************************************************
Testprogramme zur Loesung kopieren...
****************************************************************

****************************************************************
Kompilieren mit C89-Standard
****************************************************************
Compilation done

****************************************************************
Kompilieren mit C99-Standard
****************************************************************
Compilation done

****************************************************************
TEST ULAM
****************************************************************

Tests run:
----------------------- Standard Output -----------------------
========================================================
Ueberpruefe Testfaelle ( U L A M _ M A X ):
========================================================
Testfall 1 ulam_max: Ungueltiger Wert fuer Parameter a_0
[OK]
[OK]
Testfall 2 ulam_max: Gueltige Werte fuer Parameter a_0
[ERROR]
   Aufruf von ulam_max(1)
   expected:<[
   1
   ]> but was:<[
   -1
   ]>
[ERROR]
   Aufruf von ulam_max(2)
   expected:<[
   2
   ]> but was:<[
   1
   ]>
[OK]
[ERROR]
   Aufruf von ulam_max(4)
   expected:<[
   4
   ]> but was:<[
   2
   ]>
[OK]
========================================================
Ueberpruefe Testfaelle ( U L A M _ T W I N S ):
========================================================
Testfall 3 ulam_twins: Ungueltiger Wert fuer Parameter limit
[OK]
Testfall 4 ulam_twins: ULAM-Zwilling nicht vollstaendig im Intervall enthalten
[OK]
Testfall 5 ulam_twins: Gueltige Werte fuer Parameter limit
[OK]
========================================================
Ueberpruefe Testfaelle ( U L A M _ M U L T I P L E S ):
========================================================
Testfall 6 ulam_multiples: Ungueltiger Wert fuer Parameter limit
[OK]
Testfall 7 ulam_multiples: Ungueltiger Wert fuer Parameter number
[OK]
Testfall 8 ulam_multiples: Mehrling fuer number=2 nicht vollstaendig im Intervall enthalten
[OK]
Testfall 9 ulam_multiples: Mehrling fuer number=4 nicht vollstaendig im Intervall enthalten
[OK]
Testfall 10 ulam_multiples: Gueltige Werte fuer Parameter limit und number
[ERROR]
   Aufruf von ulam_multiples(110, 4)
   expected:<[
   107
   ]> but was:<[
   106
   ]>
[ERROR]
   Aufruf von ulam_multiples(111, 4)
   expected:<[
   108
   ]> but was:<[
   106
   ]>
[OK]
[ERROR]
   Aufruf von ulam_multiples(391, 6)
   expected:<[
   386
   ]> but was:<[
   385
   ]>

********************************************************

Run Summary:    Type  Total    Ran Passed Failed Inactive
              suites      1      1    n/a      0        0
               tests      3      3      1      2        0
             asserts     18     18     12      6      n/a

Elapsed time =    0.090 seconds

********************************************************
Anzahl Testfaelle mit OK: 12 (von insgesamt 18)
********************************************************

-------------------- ---------------------- -------------------