Changeset 4 for cegar_dev/cegar


Ignore:
Timestamp:
Mar 28, 2011, 3:30:18 PM (14 years ago)
Author:
syed
Message:

input files added

Location:
cegar_dev/cegar
Files:
21 added
1 edited

Legend:

Unmodified
Added
Removed
  • cegar_dev/cegar/main.c

    r3 r4  
    4141/*********************************************************/
    4242
    43 #define BLIF_MV_FILE_C1 "EX_C1/Concret_Main.mv"
    44 #define FAIRNESS_FILE_C1 "EX_C1/machine_concret.fair"
    45 #define CTL_FILE_C1 "EX_C1/machine_concret.ctl"
    46 #define CNF_FILE_C1 "EX_C1/SATcnf_c1.cnf"
    47 #define CNF_FILE_C1_BIS "EX_C1/SATcnf_c1_bis.cnf"
    48 #define DEBUG_FILE_C1 "EX_C1/TEST_debug_trace"
    49 
    50 
    51 #define BLIF_MV_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/main_abstract.mv"
    52 #define FAIRNESS_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/main_abstract.fair"
    53 #define CTL_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/machine_concret.ctl"
    54 #define CNF_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/SATcnf_a1.cnf"
    55 #define DEBUG_FILE_A1 "TEST_debug_trace"
     43#define BLIF_MV_FILE_C1 "concrete_model/concret_main.mv"
     44#define FAIRNESS_FILE_C1 "concrete_model/machine_concret.fair"
     45#define CTL_FILE_C1 "concrete_model/machine_concret.ctl"
     46#define CNF_FILE_C1 "concrete_model/SATcnf_c1.cnf"
     47#define DEBUG_FILE_C1 "concrete_model/debug_trace_crt"
     48
     49
     50#define BLIF_MV_FILE_A1 "abstract_model/main_abstract.mv"
     51#define FAIRNESS_FILE_A1 "abstract_model/main_abstract.fair"
     52#define CTL_FILE_A1 "abstract_model/machine_concret.ctl"
     53#define CNF_FILE_A1 "abstract_model/SATcnf_a1.cnf"
     54#define DEBUG_FILE_A1 "abstract_model/debug_trace_abs"
    5655
    5756/*****************************************************/
Note: See TracChangeset for help on using the changeset viewer.