Este es el comando atst-long 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
atst - probar la coherencia de las arquitecturas de destino
SINOPSIS
atst [opciones] [un archivo] [archivo]
DESCRIPCIÓN
La atst El programa comprueba la consistencia de un objetivo definido por descomposición escocés.
arquitectura y, en caso de éxito, genera algunas estadísticas sobre el número de
vértices de destino y la longitud de las rutas que los unen. Las arquitecturas de destino definen
topología de los gráficos de destino utilizados por los programas de mapeo estático gmap(1) y mapadg(1).
Las estadísticas resultantes se almacenan en un archivo archivo. Cuando no se especifican los nombres de los archivos, los datos
se lee desde la entrada estándar y se escribe en la salida estándar. Las transmisiones estándar también pueden ser
representado explícitamente por un guión '-'.
Cuando se hayan incluido las bibliotecas adecuadas en el momento de la compilación, atst puede manejar directamente
archivos comprimidos, tanto de entrada como de salida. Una secuencia se trata como comprimida siempre que su
El nombre se adjunta con una extensión de archivo comprimido, como en 'brol.tgt.bz2' o '-.gz'.
Los formatos de compresión que pueden admitirse son el formato bzip2 ('.bz2'), el gzip
format ('.gz') y el formato lzma ('.lzma', solo en la entrada).
CAMPUS
-h Muestra algo de ayuda.
-V Muestra la versión del programa y los derechos de autor.
EJEMPLO
Pruebe la consistencia de la arquitectura arch.tgt:
$ atst arch.tgt
Use atst-long en línea usando los servicios de onworks.net