Dit is de opdracht cpbm die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
cpbm - een toolkit voor softwareanalyse (oorspronkelijk: CPROVER benchmarking framework)
KORTE INHOUD
cpbm ondercommando [opties] ...
PRODUCTBESCHRIJVING
Deze handleiding documenteert in het kort de: cpbm opdracht.
cpbm biedt toegang tot een verzameling scripts en tools om softwareanalyse te benchmarken
gereedschap.
SUB-COMMANDO'S
De volgende subcommando's zijn beschikbaar; elk van hen heeft zijn eigen reeks opties die dat wel zijn
getoond door cpbm commando --help.
uw | --help
Geef de cpbm-helptekst weer.
--versie
Geef de huidige versie weer.
home Druk het pad af waar cpbm-scripts zich bevinden.
uitpakken Pak een CPROVER-benchmarkpakket uit.
-update Werk een CPROVER-benchmarkpakket bij.
init Maak een CPROVER-benchmarkpakket.
lopen Voer een verificatietool uit op een bepaalde benchmark en verkrijg logboeken.
verduisteren
Voer C-bronnen uit via Cil.
lijst-claims
Maak een lijst van alle claims in een benchmark.
csv Maak een CSV-tabel van benchmarkruns.
tafel Maak een LaTeX-tabel vanuit CSV.
diagram Produceer GNUplot-scripts voor box- en scatterplots.
web Genereer een HTML-tabel en verzamel logbestanden voor webpublicatie
Gebruik cpbm online met behulp van onworks.net-services
