Questo è il comando coqwc che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
coqwc - stampa il numero di righe di specifica, prova e commento nei file Coq
SINOSSI
coqwc [ -p ] [ -s ] [ -r ] [ -e ] file ...
DESCRIZIONE
coqwc calcola il numero di righe di specifica, righe di prova e righe di commento in Coq
File.
VERSIONI
-p Stampa la percentuale di commenti
-s Stampa solo il numero di righe delle specifiche
-r Stampa solo il numero di righe di prova
-e Non saltare le intestazioni
Usa coqwc online utilizzando i servizi onworks.net