TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-12 06:15:32 -04:00
Code Issues Packages Projects Releases Wiki Activity

typos

Browse Source
This commit is contained in:
hneemann 2020-01-25 15:30:00 +01:00
parent d20b367095
commit b4a1e3afc0
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/test/resources/docu/static_de.xml
View File

@ -506,9 +506,9 @@
rekursiv weitere Bits hinzugefügt werden, bis die erforderliche Bitzahl des Zählers erreicht ist.
</par>
</chapter>
<chapter heading="Scriptgesteuertes Testen">
<chapter heading="Skriptgesteuertes Testen">
<par>
Wenn Studenten Aufgaben mit Digital erledigen sollen, kann es hilfreich sein, wenn die von den Studenten
Wenn Studenten Aufgaben mit Digital erledigen sollen, kann es hilfreich sein, die von den Studenten
abgegebenen Schaltungen in einem automatischen Prozess überprüfen zu können.
Um diese Überprüfung durchzuführen, kann Digital über die Kommandozeile gestartet werden.
Der Aufruf geschieht dabei wie folgt:
@ -520,12 +520,12 @@
</code>
</par>
<par>
Wird nur die zu testende Datei angegegben, werden die Testfälle in dieser Datei ausgeführt.
Wird nur die zu testende Datei angegeben, werden die Testfälle in dieser Datei ausgeführt.
Auf diese Weise können die Testfälle ausgeführt werden, welche die Studenten selbst erstellt haben.
</par>
<par>
Wird ein zweiter Dateiname angegeben, werden die Testfälle aus der zweiten Datei entnommen und die erste
Schaltung wird mit diese Testfällen überprüft. Die zweite Datei wird also in der Regel die Musterlösung
Schaltung wird mit diesen Testfällen überprüft. Die zweite Datei wird also in der Regel die Musterlösung
enthalten, deren Testfälle vollständig und korrekt sind. Die in der zweiten Datei enthaltene Schaltung
wird dabei ignoriert. Nur die Testfälle werden daraus entnommen.
</par>