: Kein Test f&uuml;r $x$ positiv. </li>
                    </ul>

                    <aside class="notes">
                        Die Anweisungsüberdeckung gibt uns ein einfaches Kriterium um abzuschätzen, ob unsere Testfälle das Programm gut testen. 
                        Leider hat es aber auch grosse Schwächen. 
                        Wir sehen hier ein Beispiel, wo wir vollständige Anweisungsabdeckung haben, bei dem wir jedoch das GEführl haben, 
                        das die TEsts noch im