From ce17e33a506a7cbf23d25007d5e2d90c6d00c52b Mon Sep 17 00:00:00 2001
From: Colin Eles <elesc@mcmaster.ca>
Date: Thu, 11 Nov 2010 21:41:32 +0000
Subject: [PATCH] minor update

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6521 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
---
 @CVC_checker/cvc_check.m | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/@CVC_checker/cvc_check.m b/@CVC_checker/cvc_check.m
index d4673e4..e838c35 100644
--- a/@CVC_checker/cvc_check.m
+++ b/@CVC_checker/cvc_check.m
@@ -30,7 +30,13 @@ for i = 1:size(queries,2)
 % 
 %         end
     
-        seqs = [seqs struct('id', '1234a', 'TCC', 'test', 'seq', queries(i), 'ce', {asserts})];
+    if mod(i,2) == 1
+        name = [filename '_' num2str(i) '_DIS'];
+    else
+        name = [filename '_' num2str(i) '_COM'];
+    end    
+
+        seqs = [seqs struct('id', '1234a', 'TCC', name, 'seq', queries(i), 'ce', {asserts})];
     end
     
     
-- 
GitLab