Changeset 21 for vis_dev


Ignore:
Timestamp:
Jul 19, 2011, 4:51:20 PM (13 years ago)
Author:
cecile
Message:

un delete de trop

Location:
vis_dev
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • vis_dev/glu-2.3/src/cuPort/cuPort.c

    r20 r21  
    706706******************************************************************************/
    707707bdd_t *
    708 dd_and_smooth(
     708bdd_and_smooth(
    709709  bdd_t *f,
    710710  bdd_t *g,

  • vis_dev/vis-2.3/src/bmc/bmc.h

    r14 r21  
    6161EXTERN MvfAig_Function_t * Bmc_NodeBuildMVF(Ntk_Network_t *network, Ntk_Node_t *node);
    6262EXTERN MvfAig_Function_t * Bmc_ReadMvfAig(Ntk_Node_t * node, st_table * nodeToMvfAigTable);
    63 
     63 BmcOption_t * ParseBmcOptions(int argc, char **argv);
    6464/**AutomaticEnd***************************************************************/
    6565

  • vis_dev/vis-2.3/src/fsm/fsm.h

    r14 r21  
    330330EXTERN void Fsm_ImageInfoConjoinWithWinningStrategy( Fsm_Fsm_t *modelFsm, Img_DirectionType directionType, mdd_t *winningStrategy);
    331331EXTERN void Fsm_ImageInfoRecoverFromWinningStrategy( Fsm_Fsm_t *modelFsm, Img_DirectionType directionType);
    332 
     332int ComputeNumberOfBinaryStateVariables(mdd_manager *mddManager, array_t *mddIdArray);
    333333
    334334/**AutomaticEnd***************************************************************/

  • vis_dev/vis-2.3/src/rob/Robust.c

    r19 r21  
    147147    mvar_type mVar = array_fetch(mvar_type,
    148148                                 mdd_ret_mvar_list(mddManager),mddId);
    149     int protected = 0, j;
     149    int protect = 0, j;
    150150    for ( j = 0 ; j < array_n( wordArray ) ; j++ ) {
    151151      char* w = array_fetch( char*, wordArray, j );
    … …  
    154154      if (l > 0 && w[l-1] == '*') {
    155155        if (strncmp(mVar.name, w, l-1) == 0) {
    156           protected = 1;
     156          protect = 1;
    157157          break;
    158158        }
    159159      }
    160160      else if (strcmp(mVar.name, w) == 0) {
    161         protected = 1;
     161        protect = 1;
    162162        break;
    163163      }
    164164    }
    165165    (void) fprintf(vis_stdout, "%-20s%10d", mVar.name, mVar.values);
    166     if (protected) {
     166    if (protect) {
    167167      (void) fprintf(vis_stdout, "  protected\n");
    168168    }
    … …  
    187187                            int verbosityLevel,
    188188                            int printStep,
    189                             FILE* protected) {
     189                            FILE* protect) {
    190190  mdd_manager *mddManager = Fsm_FsmReadMddManager(fsm);
    191191  array_t       *nonProtectedIdArray;
    … …  
    195195  // construction du vecteur des registres non protégés
    196196  nonProtectedIdArray =
    197     determine_non_protected_registers(fsm,protected);
     197    determine_non_protected_registers(fsm,protect);
    198198 
    199199  if (array_n(nonProtectedIdArray) ==
    … …  
    483483mdd_t* error_states_us_ut(Fsm_Fsm_t  *fsm,
    484484                          mdd_t* S,
    485                           FILE* protected) {
     485                          FILE* protect) {
    486486  mdd_manager *mddManager = Fsm_FsmReadMddManager(fsm);
    487487  array_t     *nonProtectedIdArray, *bdd_vars;
    … …  
    490490  // construction du vecteur des registres non protégés
    491491  nonProtectedIdArray =
    492     determine_non_protected_registers(fsm,protected);
     492    determine_non_protected_registers(fsm,protect);
    493493   
    494494  bdd_vars = getbddvars(mddManager, nonProtectedIdArray);
    … …  
    503503mdd_t* error_states_ms_ut(Fsm_Fsm_t  *fsm,
    504504                          mdd_t* S,
    505                           FILE* protected) {
     505                          FILE* protect) {
    506506  mdd_manager *mddManager = Fsm_FsmReadMddManager(fsm);
    507507  array_t     *nonProtectedIdArray, *bdd_vars;
    … …  
    510510  // construction du vecteur des registres non protégés
    511511  nonProtectedIdArray =
    512     determine_non_protected_registers(fsm,protected);
     512    determine_non_protected_registers(fsm,protect);
    513513   
    514514  bdd_vars = getbddvars(mddManager, nonProtectedIdArray);
    … …  
    525525                          mdd_t* S0,
    526526                          mdd_t* S,
    527                           FILE* protected) {
     527                          FILE* protect) {
    528528  mdd_manager *mddManager = Fsm_FsmReadMddManager(fsm);
    529529   array_t     *nonProtectedIdArray, *bdd_vars;
    … …  
    536536
    537537  nonProtectedIdArray =
    538     determine_non_protected_registers(fsm,protected);
     538    determine_non_protected_registers(fsm,protect);
    539539   bdd_vars = getbddvars(mddManager, nonProtectedIdArray);
    540540
    … …  
    632632mdd_t* error_states_us_mt(Fsm_Fsm_t  *fsm,
    633633                          mdd_t *S,
    634                           FILE *protected) {
     634                          FILE *protect) {
    635635
    636636  mdd_manager *mddManager = Fsm_FsmReadMddManager(fsm);
    637637 
    638638  // construction du vecteur des registres non protégés
    639   array_t *nonProtectedIdArray = determine_non_protected_registers(fsm, protected);
     639  array_t *nonProtectedIdArray = determine_non_protected_registers(fsm, protect);
    640640  array_t *bdd_vars = getbddvars(mddManager, nonProtectedIdArray);
    641641  // sauvegarde des états initiaux et accessibles courants

  • vis_dev/vis-2.3/src/rob/Robust.h

    r19 r21  
    5555array_t* determine_non_protected_registers(Fsm_Fsm_t  *fsm, FILE *f);
    5656mdd_t*   compute_error_states     (Fsm_Fsm_t  *fsm, mdd_t* reachable,
    57                                    int verbosityLevel, int printStep,
    58                                    FILE* protected);
    59 mdd_t*   error_states_us_ut(Fsm_Fsm_t  *fsm, mdd_t* reachable,
    60                                    FILE* protected);
     57                                   int verbosityLevel, int printStep,  FILE* protect);
     58mdd_t*   error_states_us_ut(Fsm_Fsm_t  *fsm, mdd_t* reachable,FILE* protect);
     59mdd_t* error_states_us_mt(Fsm_Fsm_t  *fsm, mdd_t *S,  FILE *protect);
     60mdd_t* error_states_ms_ut(Fsm_Fsm_t  *fsm, mdd_t *S,  FILE *protect);                 
     61mdd_t* error_states_ms_mt(Fsm_Fsm_t  *fsm, mdd_t* S0,mdd_t *S,  FILE *protect)
     62;
    6163void     compute_fair             (Fsm_Fsm_t  *fsm,int  verbosityLevel);
    6264Hrc_Node_t  * build_golden_faulty_compo(Hrc_Manager_t * hmgr,Hrc_Node_t  * rootNode,    Hrc_Model_t * newRootModel);

  • vis_dev/vis-2.3/src/rob/robCmd.c

    r19 r21  
    170170                   int  argc, char ** argv){
    171171  char* fichier="./test";
    172   int k=main_Count_test_(fichier);
     172  int k= 0;//main_Count_test_(fichier);
    173173  printf("res= %d \n",k);
    174174  return 0;
Note: See TracChangeset for help on using the changeset viewer.