Englishfrançaisespagnol

Icône de favori OnWorks

cpbm - En ligne dans le Cloud

Exécutez cpbm dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

Il s'agit de la commande cpbm qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

PROGRAMME:

Nom


cpbm - une boîte à outils d'analyse de logiciels (à l'origine : cadre d'analyse comparative CPROVER)

SYNOPSIS


CPBM sous-commande [Options]

DESCRIPTION


Cette page de manuel documente brièvement les CPBM commander.

CPBM donne accès à une collection de scripts et d'outils pour comparer les analyses de logiciels
outils.

SOUS-COMMANDES


Les sous-commandes suivantes sont disponibles ; chacun d'eux a son propre ensemble d'options qui sont
montré par CPBM commander --Aidez-moi.

vous aider | --Aidez-moi
Affichez le texte d'aide de cpbm.

--version
Afficher la version actuelle.

Accueil Imprimez le chemin où résident les scripts cpbm.

déballer Déballez un package de référence CPROVER.

Mise à jour Mettre à jour un package de référence CPROVER.

init Créez un package de référence CPROVER.

courir Exécutez un outil de vérification sur un benchmark donné et obtenez des logs.

cillifier
Exécutez les sources C via Cil.

liste-revendications
Répertoriez toutes les réclamations dans un benchmark.

csv Produire un tableau CSV à partir d'exécutions de référence.

table Produire une table LaTeX à partir de CSV.

graphique Produisez des scripts GNUplot pour les diagrammes en boîte et en nuage de points.

web Générer un tableau HTML et collecter des fichiers journaux pour la publication Web

Utiliser cpbm en ligne à l'aide des services onworks.net


Serveurs et postes de travail gratuits

Télécharger des applications Windows et Linux

  • 1
    Unitedrpms
    Unitedrpms
    Rejoignez-nous à Gitter !
    https://gitter.im/unitedrpms-people/Lobby
    Activez le référentiel URPMS dans votre
    système -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    Télécharger unitedrpms
  • 2
    Boostez les bibliothèques C++
    Boostez les bibliothèques C++
    Boost fournit un portable gratuit
    bibliothèques C++ évaluées par des pairs. Les
    l'accent est mis sur les bibliothèques portables qui
    fonctionnent bien avec la bibliothèque standard C++.
    Voir http://www.bo...
    Télécharger les bibliothèques Boost C++
  • 3
    VirtuelGL
    VirtuelGL
    VirtualGL redirige les commandes 3D d'un
    Application Unix/Linux OpenGL sur un
    GPU côté serveur et convertit le
    rendu des images 3D dans un flux vidéo
    avec lequel ...
    Télécharger VirtualGL
  • 4
    libusb
    libusb
    Bibliothèque pour activer l'espace utilisateur
    programmes d'application pour communiquer avec
    Périphériques USB. Public : Développeurs, Fin
    Utilisateurs/Bureau. Langage de programmation : C
    Catégories ...
    Télécharger libusb
  • 5
    LAMPÉE
    LAMPÉE
    SWIG est un outil de développement logiciel
    qui relie les programmes écrits en C et
    C++ avec une variété de
    langages de programmation. SWIG est utilisé avec
    différent...
    Télécharger SWIG
  • 6
    Thème de réaction WooCommerce Nextjs
    Thème de réaction WooCommerce Nextjs
    Thème React WooCommerce, construit avec
    Suivant JS, Webpack, Babel, Node et
    Express, en utilisant GraphQL et Apollo
    Client. Boutique WooCommerce dans React (
    contient : Produits...
    Télécharger le thème WooCommerce Nextjs React
  • Plus "

Commandes Linux

Ad