Changeset 27 for sources/src/sc_main.cc
- Timestamp:
- May 4, 2009, 8:51:56 PM (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
sources/src/sc_main.cc
r17 r27 35 35 */ 36 36 37 #include<sstream> 38 #include<list> 39 #include<set> 40 #include<cstring> // strcmp 41 42 #include"internal.h" 43 #include"global_functions.h" 44 #include"sc_ver.h" 45 #include"sc_module.h" 46 #include"sc_signal.h" // pending_write_vector 47 #include"dump_dot.h" 48 #include"dump_used_options.h" 49 #include"dump_used_env.h" 50 #include"assert.h" 37 #include <sstream> 38 #include <list> 39 #include <set> 40 #include <cstring> // strcmp 41 #include <cassert> 42 43 #include "internal.h" 44 #include "global_functions.h" 45 #include "sc_ver.h" 46 #include "sc_module.h" 47 #include "sc_signal.h" // pending_write_vector 48 #include "dump_dot.h" 49 #include "dump_used_options.h" 50 #include "dump_used_env.h" 51 52 #ifdef HAVE_CONFIG_H 53 #include "config.h" 54 #endif 51 55 52 56 // … … 60 64 61 65 bool check_port_dependencies = false; 66 #ifdef CONFIG_DEFAULT_RUNTIME_COMPILATION 67 bool dynamic_link_of_scheduling_code = true; 68 #else 62 69 bool dynamic_link_of_scheduling_code = false; 70 #endif 63 71 bool dump_netlist_info = false; 64 72 bool dump_funclist_info = false; … … 108 116 switch (scheduling_method) { 109 117 case CASS_SCHEDULING : 110 ASSERT(use_port_dependency == false);118 assert(use_port_dependency == false); 111 119 break; 112 120 case BUCHMANN_SCHEDULING : … … 125 133 exit (33); 126 134 } 127 ASSERT(use_port_dependency || use_sensitivity_list);135 assert(use_port_dependency || use_sensitivity_list); 128 136 } 129 137
Note: See TracChangeset
for help on using the changeset viewer.