compliance_1666/test001/test001.cpp

29       SC_THREAD(thread);  //// Registering the same function multiple times DOULOS046

32     SC_THREAD(thread);

33     SC_THREAD(thread);  //// Compile-time error - 'threadhandle' redefinition

41   void thread(void) {

158     sc_assert(std::string(sc_get_current_process_handle().get_process_object()->basename()) == "thread");

188     SC_THREAD(thread);

190   void thread();

204     SC_THREAD(thread);

207   void thread();

211 void Moda::thread()

218 void Modb::thread()