Changes in sources/src/sc_main.cc [27:17]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
sources/src/sc_main.cc
r27 r17 35 35 */ 36 36 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 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" 55 51 56 52 // … … 64 60 65 61 bool check_port_dependencies = false; 66 #ifdef CONFIG_DEFAULT_RUNTIME_COMPILATION67 bool dynamic_link_of_scheduling_code = true;68 #else69 62 bool dynamic_link_of_scheduling_code = false; 70 #endif71 63 bool dump_netlist_info = false; 72 64 bool dump_funclist_info = false; … … 116 108 switch (scheduling_method) { 117 109 case CASS_SCHEDULING : 118 assert(use_port_dependency == false);110 ASSERT(use_port_dependency == false); 119 111 break; 120 112 case BUCHMANN_SCHEDULING : … … 133 125 exit (33); 134 126 } 135 assert(use_port_dependency || use_sensitivity_list);127 ASSERT(use_port_dependency || use_sensitivity_list); 136 128 } 137 129
Note: See TracChangeset
for help on using the changeset viewer.