From 462b42bfcea4a88275afdcc41e3fa3de3f33f63e Mon Sep 17 00:00:00 2001 From: qadeer Date: Mon, 2 Dec 2013 13:18:23 -0800 Subject: added the QED build configuration --- Source/VCGeneration/VCGeneration.csproj | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'Source/VCGeneration/VCGeneration.csproj') diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index a7be5827..8f711590 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -1,4 +1,4 @@ - + Debug @@ -142,6 +142,15 @@ 4 false + + true + bin\QED\ + DEBUG;TRACE + full + AnyCPU + prompt + AllRules.ruleset + @@ -218,4 +227,4 @@ --> - \ No newline at end of file + -- cgit v1.2.3