Dit is de opdracht coqwc die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
coqwc - druk het aantal specificatie-, proef- en commentaarregels in Coq-bestanden af
KORTE INHOUD
coqwc [ -p ] [ -s ] [ -r ] [ -e ] bestanden ...
PRODUCTBESCHRIJVING
coqwc berekent het aantal specificatieregels, proefregels en commentaarregels in Coq
bestanden.
OPTIES
-p Druk het percentage reacties af
-s Druk alleen het aantal specificatieregels af
-r Druk alleen het aantal proefregels af
-e Sla kopteksten niet over
Gebruik coqwc online met behulp van onworks.net-services
