1 files changed, 90 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/1666-2011-compliance/late_reset_bug/late_reset_bug.cpp b/src/systemc/tests/systemc/1666-2011-compliance/late_reset_bug/late_reset_bug.cpp
new file mode 100644
index 000000000..9ec572ff5
--- /dev/null
+++ b/src/systemc/tests/systemc/1666-2011-compliance/late_reset_bug/late_reset_bug.cpp
@@ -0,0 +1,90 @@
+/*****************************************************************************
+
+  Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+  more contributor license agreements.  See the NOTICE file distributed
+  with this work for additional information regarding copyright ownership.
+  Accellera licenses this file to you under the Apache License, Version 2.0
+  (the "License"); you may not use this file except in compliance with the
+  License.  You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+  Unless required by applicable law or agreed to in writing, software
+  distributed under the License is distributed on an "AS IS" BASIS,
+  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+  implied.  See the License for the specific language governing
+  permissions and limitations under the License.
+
+ *****************************************************************************/
+
+// late_reset_bug.cpp -- test for 
+//
+//  Original Author: John Aynsley, Doulus
+//
+// MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+//
+
+// 
+
+#define SC_INCLUDE_DYNAMIC_PROCESSES
+
+#include <systemc>
+
+using namespace sc_core;
+using std::cout;
+using std::endl;
+
+struct Top: sc_module
+{
+  Top(sc_module_name _name)
+  {
+    SC_THREAD(control);
+    
+    SC_METHOD(target);
+      sensitive << ev;
+      dont_initialize();
+      target_handle = sc_get_current_process_handle();
+
+    count = 0;
+    f0 = f1 = 0;
+  }
+  
+  sc_event ev;
+  sc_process_handle target_handle;
+  int count;
+  int f0, f1;
+  
+  void control()
+  {
+    count = 0;
+    wait(10, SC_NS);
+    
+    count = 1;
+    target_handle.reset();
+
+    count = 2;
+    f1 = 1;
+  }
+
+  void target()
+  {
+    sc_assert( count == 1 ); // FAILS !!!!!!
+    f0 = 1;
+  }
+  
+  SC_HAS_PROCESS(Top);
+};
+
+int sc_main(int argc, char* argv[])
+{
+  Top top("top");
+  
+  sc_start();
+
+  sc_assert( top.f0 ); 
+  sc_assert( top.f1 ); 
+  
+  cout << endl << "Success" << endl;
+  return 0;
+}
+