Index: trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp
===================================================================
--- trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 895)
+++ trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 896)
@@ -5118,5 +5118,6 @@
                       << std::endl;
                       r_iss.dump();
-            exit(1);
+            r_wbuf.printTrace();
+            raise(SIGINT);
         }
     }