diff options
author | Valentin Wüstholz <wuestholz@gmail.com> | 2015-09-30 21:53:31 +0200 |
---|---|---|
committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-09-30 22:08:03 +0200 |
commit | 597a558b2fde558b7f5c581481fd51258aa37c46 (patch) | |
tree | f1e449aafc39641bce2e258c332e32f0cc8b217d /Source/VCGeneration/VC.cs | |
parent | 7a2aec84f1d924086b6f8e0f3dcbde036e12345c (diff) |
Improve output for diagnosing timeouts.
Diffstat (limited to 'Source/VCGeneration/VC.cs')
-rw-r--r-- | Source/VCGeneration/VC.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 94584027..33e2f928 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2113,6 +2113,7 @@ namespace VC { foreach (var cmd in assertCmds) { Counterexample cex = AssertCmdToCounterexample(cmd.Item1, cmd.Item2 , new List<Block>(), null, null, context); + cex.IsAuxiliaryCexForDiagnosingTimeouts = true; callback.OnCounterexample(cex, msg); } } |