Changeset 47 for sources/src/global_functions.cc

Timestamp:

Oct 26, 2009, 7:07:37 PM (15 years ago)

Author:

buchmann

Message:

This patch simplifies SystemCASS.

Remove:

• ckeckings about multiwriting on registers and ports
• checkings related to FSM modeling
• regression tests related to the checkings

File:

• sources/src/global_functions.cc (modified) (2 diffs)

sources/src/global_functions.cc

@@ -49 +49 @@
 #endif
 
-#ifdef CONFIG_CHECK_FSM_RULES
-#include "fsm_rules.h"
-#endif
-
 using namespace std;
 
@@ -264 +260 @@
 
   // Init variables to be able to run combinational functions
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = STIMULI;
-#endif
-
   pending_write_vector_capacity = get_signal_table_size ();
-#if 0
-  cerr << "pending_write_vector_capacity = " << pending_write_vector_capacity
-<< "\n";
-#endif
+
   if (pending_write_vector_capacity == 0)
     pending_write_vector = NULL;