test set representation massaging

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@235 ab42f6e0-554d-0410-b580-99e487e6eeb2

shared/tools/buildtestsetxml

@@ -18,6 +18,6 @@ fi
 
 cp ${SLPS}/topics/fl/shared/factorial.xml $1/factorial.src
 cp ${SLPS}/topics/fl/shared/fac5.xml $1/fac5.run
-cp ${SLPS}/topics/fl/shared/factorial.xml $1/fac5.src
+cp ${SLPS}/topics/fl/shared/factorial.xml $1/fac5.ctx
 echo 120 > $1/factorial.val
 

topics/convergence/lci/lci.py

@@ -465,7 +465,7 @@ def runtestset():
    results={}
    for program in evaluator.keys():
     if testset in tester[program]:
-     run = evaluator[program]+' '+testcase.replace('.run','.src')+' '+testcase+' '+testcase.replace('.run','.val')
+     run = evaluator[program]+' '+testcase.replace('.run','.ctx')+' '+testcase+' '+testcase.replace('.run','.val')
      logwrite(run)
     results[program]=os.system(run+shutup)
    print 'Test case',testcase,
@@ -504,10 +504,10 @@ def checkconsistency():
   if tools.has_key('validation'):
    validateall()
   buildtargets()
-  print '>>> Grammar convergence phase finished.'
+  print '----- Grammar convergence phase finished. -----'
   if testsets:
    runtestset()
-   print '>>> Tree convergence phase finished.'
+   print '----- Tree convergence phase finished. -----'
   else:
    print 'No testing performed.'
   dumpgraph(sys.argv[2])

topics/extraction/ldf2set/ldf2set.py

@@ -41,7 +41,7 @@ def unpacksamples(where,dir):
     print "No context found for sample",name,'('+xmlnode.findtext('context')+'), test case not used'
     continue
    else:
-    con = open (dir+'/'+name+'.src','w')
+    con = open (dir+'/'+name+'.ctx','w')
     for line in library[xmlnode.findtext('context')].split('\n'):
      if line.strip()!='':
       con.write(line.strip()+'\n')