From 7d8f0f0c6c451dffe84e1d3d723a6d06833087ad Mon Sep 17 00:00:00 2001 From: akashlal Date: Mon, 21 Mar 2011 13:41:27 +0000 Subject: Print recorded value of any type --- Source/VCGeneration/ConditionGeneration.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Source/VCGeneration/ConditionGeneration.cs') diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index 02af08ad..2e279479 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -168,7 +168,7 @@ namespace Microsoft.Boogie { { var cmd = getTraceCmd(loc); var calleeName = getCalledProcName(cmd); - if (calleeName == VC.StratifiedVCGen.recordArgProcName && CommandLineOptions.Clo.StratifiedInlining > 0) + if (calleeName.StartsWith(VC.StratifiedVCGen.recordProcName) && CommandLineOptions.Clo.StratifiedInlining > 0) { Contract.Assert(calleeCounterexamples[loc].args.Count == 1); var arg = calleeCounterexamples[loc].args[0]; -- cgit v1.2.3