Это команда cpbm, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
cpbm - набор инструментов для анализа программного обеспечения (первоначально: платформа для тестирования производительности CPROVER)
СИНТАКСИС
куб.м подкоманда [кредита] ...
ОПИСАНИЕ
Эта страница руководства кратко документирует куб.м команда.
куб.м предоставляет доступ к набору скриптов и инструментов для сравнительного анализа программного обеспечения
инструментов.
ПОДКОМАНДЫ
Доступны следующие подкоманды; у каждого из них есть свой набор опций, которые
показано куб.м команду --Помогите.
помощь | --Помогите
Отобразите текст справки cpbm.
--версия
Показать текущую версию.
главная Выведите путь, по которому находятся скрипты cpbm.
распаковывать Распакуйте тестовый пакет CPROVER.
обновление Обновите тестовый пакет CPROVER.
инициализации Создайте тестовый пакет CPROVER.
пробег Запустите инструмент проверки на заданном тесте и получите журналы.
пояснить
Запустите исходные коды C через Cil.
список претензий
Перечислите все претензии в тесте.
CSV Создайте таблицу CSV на основе результатов тестов.
(см. таблицу ниже) Создайте таблицу LaTeX из CSV.
график Создавайте сценарии GNUplot для диаграмм разброса и диаграмм разброса.
Web Создание таблицы HTML и сбор файлов журнала для веб-публикации
Используйте cpbm онлайн с помощью сервисов onworks.net