1 files changed, 135 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/1666-2011-compliance/disable_enable/disable_enable.cpp b/src/systemc/tests/systemc/1666-2011-compliance/disable_enable/disable_enable.cpp
new file mode 100644
index 000000000..1302e7e7e
--- /dev/null
+++ b/src/systemc/tests/systemc/1666-2011-compliance/disable_enable/disable_enable.cpp
@@ -0,0 +1,135 @@
+/*****************************************************************************
+
+  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.
+
+ *****************************************************************************/
+
+// disable_enable.cpp -- test for 
+//
+//  Original Author: John Aynsley, Doulos Inc.
+//
+// MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+//
+// $Log: disable_enable.cpp,v $
+// Revision 1.2  2011/05/08 19:18:46  acg
+//  Andy Goodrich: remove extraneous + prefixes from git diff.
+//
+
+// disable() should take effect only the next evaluation phase
+
+#define SC_INCLUDE_DYNAMIC_PROCESSES
+
+#include <systemc>
+
+using namespace sc_core;
+using namespace std;
+
+struct Top: sc_module
+{
+  Top(sc_module_name _name)
+  : count(0)
+  {
+    SC_THREAD(control);
+    SC_THREAD(target);
+      t = sc_get_current_process_handle();
+      
+    f0 = f1 = f2 = f3 = f4 = f5 = 0;
+  }
+  
+  sc_process_handle t;
+  sc_event ev;
+  int count;
+  int f0, f1, f2, f3, f4, f5;
+
+  void control()
+  {
+    wait(SC_ZERO_TIME);
+    
+    count = 1;
+    ev.notify();
+    wait(10, SC_NS);
+    
+    count = 2;
+    ev.notify();
+    t.disable();
+    wait(SC_ZERO_TIME);
+    
+    count = 3;
+    ev.notify();
+    wait(SC_ZERO_TIME);
+    
+    count = 4;
+    t.enable();
+    ev.notify();
+    wait(10, SC_NS);
+
+    count = 5;
+    t.disable();
+    t.reset();
+    wait(10, SC_NS);
+    
+    count = 6;
+    t.reset();
+    wait(10, SC_NS);
+   
+    sc_stop();
+  }
+
+  void target()
+  {
+    //cout << "Target called at " << sc_time_stamp() << " with count = " << count << endl;
+    switch(count)
+    {
+        case  0: sc_assert(sc_time_stamp() == sc_time( 0, SC_NS)); f0 = 1; break;
+        case  5: sc_assert(sc_time_stamp() == sc_time(20, SC_NS)); f4 = 1; break;
+        case  6: sc_assert(sc_time_stamp() == sc_time(30, SC_NS)); f5 = 1; break;
+        default: sc_assert(false);
+    }
+    for (;;)
+    {
+      wait(ev);
+      //cout << "Target awoke at " << sc_time_stamp() << " with count = " << count << endl;
+      switch(count)
+      {
+        case  1: sc_assert(sc_time_stamp() == sc_time( 0, SC_NS)); f1 = 1; break;
+        case  2: sc_assert(sc_time_stamp() == sc_time(10, SC_NS)); f2 = 1; break;
+        case  4: sc_assert(sc_time_stamp() == sc_time(10, SC_NS)); f3 = 1; break;
+        default: sc_assert(false);
+      }
+    }
+  }
+  
+  SC_HAS_PROCESS(Top);
+};
+
+int sc_main(int argc, char* argv[])
+{
+  Top top("top");
+  
+  sc_start();
+  
+  sc_assert( top.f0 );
+  sc_assert( top.f1 );
+  sc_assert( top.f2 );
+  sc_assert( top.f3 );
+  sc_assert( top.f4 );
+  sc_assert( top.f5 );
+  /*
+  */
+  cout << endl << "Success" << endl;
+  return 0;
+}
+