这是可以使用我们的多个免费在线工作站之一（例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器）在 OnWorks 免费托管服务提供商中运行的命令zombiescope
程序：
您的姓名
僵尸镜 - 简化了 SPARK 死路猜想
概要
僵尸镜 [选项] [单位]
商品描述
用于 SPARK 的 ZombieScope， 僵尸镜, 分析由
SPARK 的检查器并尝试自动确定它们的活性。 对于每个 dpc
文件读取，ZombieScope 将生成一个 sdp（简化死路径）文件和一个可选的 zlg
（僵尸镜日志）文件。
本手册页仅总结了 僵尸镜 命令行标志，请参考
完整的简化手册以获取更多信息。
配置
这些选项并不完全遵循通常的 GNU 命令行语法，因为选项以
一个破折号而不是通常的两个。
-救命 显示命令行帮助。
-版
显示版本信息。
-nolog 不要生成 ZombieScope 日志文件。
-日志=文件规格
指定 ZombieScope 文件的文件名。
-nowrap
不要换行输出文件。
-普通 采用简单的输出样式（例如，没有日期或版本号）。
-norenum
不要对 sdp 文件中的假设和结论重新编号。
-hyp_limit=极限
指定将被分析的假设的最大数量。
使用 onworks.net 服务在线使用僵尸镜
