Skip to content
Permalink
Browse files

Fixed a test

  • Loading branch information...
joleuger committed Jan 16, 2018
1 parent b19794f commit b98012164c70ce67eebc6bcbfa96d2e6252cd6a9
Showing with 3 additions and 1 deletion.
  1. +3 −1 Source/SafetyChecking/AnalysisModelTraverser/ModelTraverser.cs
@@ -195,8 +195,10 @@ private void RethrowTraversalException()
if (Context.Exception == null)
return;

if (Context.Exception is ModelException || Context.Exception is OutOfMemoryException)
if (Context.Exception is ModelException)
throw new AnalysisException(Context.Exception.InnerException, Context.CounterExample);
if (Context.Exception is OutOfMemoryException)
throw Context.Exception;
ExceptionDispatchInfo.Capture(Context.Exception).Throw();
}

0 comments on commit b980121

Please sign in to comment.
You can’t perform that action at this time.