Ignore:
Timestamp:
Jan 8, 2012, 3:30:01 PM (13 years ago)
Author:
cecile
Message:

first attempt debug with ltl formula

File:
1 edited

Legend:

Unmodified
Added
Removed
  • vis_dev/vis-2.3/src/bmc/bmcBmc.c

    r14 r38  
    18171817        if (rightValue == 0){
    18181818          break;
    1819         }
     1819         }
    18201820        if(fairness){
    18211821          Ctlsp_Formula_t *formula;
Note: See TracChangeset for help on using the changeset viewer.