Reminds me of the Causeway debugger for E, which lets you view causality traces instead of just stack traces: http://www.erights.org/elang/tools/causeway/ http:

Reminds me of the Causeway debugger for E, which lets you view causality traces instead of just stack traces: http://www.erights.org/elang/tools/causeway/ http://www.erights.org/elang/tools/causeway/