这是 atst-long 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
阿斯特 - 测试目标架构的一致性
概要
阿斯特 [选项[一份文件[文件]
商品描述
阿斯特 程序检查 Scotch 分解定义的目标的一致性
架构，如果成功，输出一些关于数量的统计数据
目标顶点和连接它们的路径长度。 目标架构定义了
静态映射程序使用的目标图的拓扑结构 地图（1）和 地图（1）。
结果统计信息存储在文件中 文件. 未指定文件名时，数据
从标准输入读取并写入标准输出。 标准流也可以
由破折号“-”明确表示。
在编译时包含适当的库后， 阿斯特 可以直接处理
压缩文件，作为输入和输出。 一个流被当做压缩处理
名称后缀为压缩文件扩展名，例如“brol.tgt.bz2”或“-.gz”。
可以支持的压缩格式有 bzip2 格式 ('.bz2')、gzip
格式（'.gz'）和 lzma 格式（'.lzma'，仅用于输入）。
配置
-h 显示一些帮助。
-V 显示程序版本和版权。
例
测试架构arch.tgt的一致性：
$atst arch.tgt
使用 onworks.net 服务在线使用 atst-long
