diff options
author | qadeer <unknown> | 2014-01-16 21:24:34 -0800 |
---|---|---|
committer | qadeer <unknown> | 2014-01-16 21:24:34 -0800 |
commit | 4b265b8ef4428e6d583359650c07c652884112bb (patch) | |
tree | b5f1e1fe54fe76d5c0796f6e3772189eb0f7abe0 /Source/Concurrency | |
parent | c34fbbab60dc468577c9d0d048c4d532da5ea44e (diff) |
bug fix in error trace printing
Diffstat (limited to 'Source/Concurrency')
-rw-r--r-- | Source/Concurrency/YieldTypeChecker.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Concurrency/YieldTypeChecker.cs b/Source/Concurrency/YieldTypeChecker.cs index 5047bd5f..a848ebeb 100644 --- a/Source/Concurrency/YieldTypeChecker.cs +++ b/Source/Concurrency/YieldTypeChecker.cs @@ -60,12 +60,12 @@ namespace Microsoft.Boogie public string PrintErrorTrace(Automaton<BvSet> errorAutomaton)
{
- String s = "\n Body of " + impl.Proc.Name + " is not yield_type_safe at phase " + currPhaseNum.ToString() + "\nError Trace {" + "\n";
+ String s = "\nBody of " + impl.Proc.Name + " is not yield_type_safe at phase " + currPhaseNum.ToString() + "\n";
foreach (var move in errorAutomaton.GetMoves())
{
- s += " [Line :" + nodeToAbsy[move.SourceState].Line.ToString() + "] , [Cmd :" + nodeToAbsy[move.SourceState].ToString() + " ]" + " \n";
+ IToken tok = nodeToAbsy[move.SourceState].tok;
+ s += string.Format("{0}({1}, {2})\n", tok.filename, tok.line, tok.col);
}
- s += "}";
return s;
}
|