Aceasta este comanda coqwc care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
coqwc - tipăriți numărul de linii de specificație, dovezi și comentarii în fișierele Coq
REZUMAT
coqwc [ -p ] [ -s ] [ -r ] [ -e ] fișiere ...
DESCRIERE
coqwc calculează numărul de linii de specificație, linii de probă și linii de comentarii în Coq
fișiere.
OPŢIUNI
-p Tipăriți procentul de comentarii
-s Tipăriți numai numărul de linii de specificații
-r Tipăriți numai numărul de linii de probă
-e Nu sări peste antete
Utilizați coqwc online folosind serviciile onworks.net