Este es el comando coqwc que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
coqwc: imprime el número de líneas de especificación, prueba y comentario en archivos Coq
SINOPSIS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] archivos ...
DESCRIPCIÓN
coqwc calcula el número de líneas de especificación, líneas de prueba y líneas de comentarios en Coq
archivos.
OPCIONES
-p Imprime el porcentaje de comentarios
-s Imprima solo el número de líneas de especificación
-r Imprime solo el número de líneas de prueba
-e No te saltes los encabezados
Use coqwc en línea usando los servicios de onworks.net
