Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/ein16/synth/d2/main.py
ViewVC logotype

Diff of /branches/ein16/synth/d2/main.py

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4482, Thu Sep 1 20:43:01 2016 UTC revision 4483, Fri Sep 2 05:07:01 2016 UTC
# Line 1  Line 1 
1  import sys  import sys
2  import re  import re
3  import os  import os
4    import time
5    
6  from obj_apply import *  from obj_apply import *
7  from obj_ex import  *  from obj_ex import  *
# Line 175  Line 176 
176      # get counter      # get counter
177      cnt = get_counter()      cnt = get_counter()
178      # writing heading based on framework      # writing heading based on framework
179      write_heading(testing_frame)      #write_heading(testing_frame)
180    
181      #choose testing range based on commands      #choose testing range based on commands
182      t_inner = int(sys.argv[shift+1])      t_inner = int(sys.argv[shift+1])
# Line 188  Line 189 
189      pick(opr_inner, opr_outer, testing_frame, cnt)      pick(opr_inner, opr_outer, testing_frame, cnt)
190      clean()      clean()
191    
192    def main_iter():
193        #n_frame = int(sys.argv[1])
194        #args = int(sys.argv[2])
195        #shift = 2 # how many commands used so far
196        n_frame = 0
197        # get testing framework
198        testing_frame = get_testing_frame(n_frame)
199        # get counter
200        cnt = get_counter()
201        # writing heading based on framework
202        #write_heading(testing_frame)
203    
204        #choose testing range based on commands
205        n = len(op_all)
206        for i in range(n):
207            for j in range(n):
208                t_inner = int(sys.argv[i])
209                t_outer = int(sys.argv[j])
210                opr_outer = id_toOpr(t_outer)
211                opr_inner = id_toOpr(t_inner)
212                writeTitle_outer(opr_inner, opr_outer)
213                #choose testing range based on commands
214                pick(opr_inner, opr_outer, testing_frame, cnt)
215                clean()
216    
217    start = time.time()
218  x = int(sys.argv[1])  x = int(sys.argv[1])
219  if(x==0):  if(x==0):
220      main_Standard()      main_Standard()
221  else:  else:
222      main()      main()
223        end = time.time()
224    t = "  time:"+str(end - start)
225    writeall(t)
226    print (t)

Legend:
Removed from v.4482  
changed lines
  Added in v.4483

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0