Changeset 4 for cegar_dev/cegar

Timestamp:

Mar 28, 2011, 3:30:18 PM (14 years ago)

Author:

syed

Message:

input files added

Location:

cegar_dev/cegar

Files:

• abstract_model (added)
• abstract_model/Concret_Main.v (added)
• abstract_model/Phi_1_and_Phi_2 (added)
• abstract_model/SATcnf_a1.cnf (added)
• abstract_model/debug_trace_abs (added)
• abstract_model/machine_concret.ctl (added)
• abstract_model/machine_concret.fair (added)
• abstract_model/machine_concret.v (added)
• abstract_model/machine_concret1_Abs1.v (added)
• abstract_model/main_abstract.fair (added)
• abstract_model/main_abstract.mv (added)
• abstract_model/main_abstract.v (added)
• abstract_model/param_abs_cegar_1 (added)
• concrete_model (added)
• concrete_model/SATcnf_c1.cnf (added)
• concrete_model/concret_main.mv (added)
• concrete_model/concret_main.v (added)
• concrete_model/debug_trace_crt (added)
• concrete_model/machine_concret.ctl (added)
• concrete_model/machine_concret.fair (added)
• concrete_model/machine_concret.v (added)
• main.c (modified) (1 diff)

cegar_dev/cegar/main.c

@@ -41 +41 @@
 /*********************************************************/
 
-#define BLIF_MV_FILE_C1 "EX_C1/Concret_Main.mv"
-#define FAIRNESS_FILE_C1 "EX_C1/machine_concret.fair"
-#define CTL_FILE_C1 "EX_C1/machine_concret.ctl"
-#define CNF_FILE_C1 "EX_C1/SATcnf_c1.cnf"
-#define CNF_FILE_C1_BIS "EX_C1/SATcnf_c1_bis.cnf"
-#define DEBUG_FILE_C1 "EX_C1/TEST_debug_trace"
-
-
-#define BLIF_MV_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/main_abstract.mv"
-#define FAIRNESS_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/main_abstract.fair"
-#define CTL_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/machine_concret.ctl"
-#define CNF_FILE_A1 "EX_A1/Abs_Phi1_and_Phi2_REFINED/SATcnf_a1.cnf"
-#define DEBUG_FILE_A1 "TEST_debug_trace"
+#define BLIF_MV_FILE_C1 "concrete_model/concret_main.mv"
+#define FAIRNESS_FILE_C1 "concrete_model/machine_concret.fair"
+#define CTL_FILE_C1 "concrete_model/machine_concret.ctl"
+#define CNF_FILE_C1 "concrete_model/SATcnf_c1.cnf"
+#define DEBUG_FILE_C1 "concrete_model/debug_trace_crt"
+
+
+#define BLIF_MV_FILE_A1 "abstract_model/main_abstract.mv"
+#define FAIRNESS_FILE_A1 "abstract_model/main_abstract.fair"
+#define CTL_FILE_A1 "abstract_model/machine_concret.ctl"
+#define CNF_FILE_A1 "abstract_model/SATcnf_a1.cnf"
+#define DEBUG_FILE_A1 "abstract_model/debug_trace_abs"
 
 /*****************************************************/