J'écris un programme mais j'obtiens cet avertissement !! Quelqu'un peut-il m'aider à cet égard. #include <stdio.h>
#include <stdlib.h>
typedef int bool;
#define true 1
#define false 0
#define
J'essaye d'utiliser le Vérificateur de Modèle Bounded CBMC dans Ubuntu pour les programmes C et C++. J'ai téléchargé les compilateurs gcc (4.9 v) et g ++ (4.9 v) et j'ai installé le CBMC via le termin
J'essaie de contraindre la table b[4][4] telle que seuls les lieux qui ont i>=j et satisfaisant à la condition que (stored[i] & stored[j]) == stored[i] soit 1, et le reste 0. Pourquoi cela ne fonction