Это командный зомбископ, который можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
zombiescope - упрощает догадки о мертвом пути SPARK
СИНТАКСИС
зомбископ [ОПЦИИ] [ЕДИНИЦА]
ОПИСАНИЕ
ZombieScope для SPARK, зомбископ, анализирует гипотезы о мертвых путях, порожденные
Examiner для SPARK и пытается определить их живучесть автоматически. Для каждого dpc
чтение файла, ZombieScope создаст файл sdp (упрощенные мертвые пути) и дополнительный zlg
(журнал зомбископа).
Эта страница руководства содержит только краткое описание зомбископ флаги командной строки, см.
полное руководство по Simplifier для получения дополнительной информации.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
Эти параметры не совсем соответствуют обычному синтаксису командной строки GNU, поскольку параметры начинаются с
один тире вместо обычных двух.
-Помощь Отображает справку командной строки.
-версия
Отображает информацию о версии.
-лог Не создавайте файл журнала ZombieScope.
-log =спецификация_файла
Укажите имя файла для файла ZombieScope.
-снежник
Не переносите строки в выходные файлы.
-простой Используйте простой стиль вывода (например, без дат или номеров версий).
-норенум
Не перенумеровывайте гипотезы и выводы в файлах sdp.
-hyp_limit =ОГРАНИЧЕНИЯ
Укажите максимальное количество гипотез, которые будут проанализированы.
Используйте зомбископ онлайн с помощью сервисов onworks.net
