Dies ist der Befehl coqwc, der im kostenlosen OnWorks-Hosting-Provider mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
coqwc - druckt die Anzahl der Spezifikations-, Korrektur- und Kommentarzeilen in Coq-Dateien
ZUSAMMENFASSUNG
coqwc [ -p ] [ -s ] [ -r ] [ -e ] Dateien ...
BESCHREIBUNG
coqwc berechnet die Anzahl der Spezifikationszeilen, Proofzeilen und Kommentarzeilen in Coq
Dateien.
OPTIONAL
-p Drucken Sie den Prozentsatz der Kommentare
-s Nur die Anzahl der Spezifikationszeilen drucken
-r Nur die Anzahl der Proofzeilen drucken
-e Überspringen Sie keine Kopfzeilen
Verwenden Sie coqwc online mit den onworks.net-Diensten
