Commit d9e884e4 authored by Guillaume GENESTIER's avatar Guillaume GENESTIER

Ill typed file corrected

parent be0b67aa
#NAME test.
#NAME BadlyTypedLhs.
N : Type.
......@@ -25,6 +25,8 @@ def eB : Bb -> Type.
[] eB a --> eA a.
(;
def phi : eB a -> Bb.
#CHECK a,eB a.
;)
\ No newline at end of file
......@@ -10,44 +10,42 @@ for line in toStudy:
res.append([line.split("'")[1],every])
every=[[],[],[],[],[],[]]
elif line.find(" Proved terminating")==0:
every[0]=line.strip().split('[m ')[1].split(' , ')
every[0]=line.split('[m ')[1].strip().split(' , ')
elif line.find(" Not proved terminating")==0:
every[1]=line.strip().split('[m ')[1].split(' , ')
every[1]=line.split('[m ')[1].strip().split(' , ')
elif line.find(" Pattern matching on defined symbol")==0:
every[2]=line.strip().split('[m ')[1].split(' , ')
every[2]=line.split('[m ')[1].strip().split(' , ')
elif line.find(" Critical pair")==0:
every[3]=line.strip().split('[m ')[1].split(' , ')
elif line.find("ERROR The symbol ")==0:
every[4]=line.strip().split('[m ')[1].split(' , ')
every[3]=line.split('[m ')[1].strip().split(' , ')
elif line.find("ERROR ")==0:
every=[]
elif line.find(" Use brackets")==0:
every[5]=line.strip().split('[m ')[1].split(' , ')
every[4]=line.split('[m ')[1].strip().split(' , ')
elif line.find(" Not strictly positive")==0:
every[5]=line.strip().split('[m ')[1].split(' , ')
every[5]=line.split('[m ')[1].strip().split(' , ')
else:
print(line)
toStudy.close()
toFill=open("../../Bureau/Resultats/TabRes_"+sys.argv[1]+".csv",'w')
toFill.write(";;"+sys.argv[1]+";;\n;;;;\n")
toFill.write(";;"+sys.argv[1]+";;,\n;;;;;\n")
def printlist(couple):
if couple[1]==[]:
toFill.write(";;"+couple[0]+" contains a symbol not strictly positive;;\n")
elif couple[1]==[[]]:
toFill.write(";;"+couple[0]+" contains a not handled type level rewriting;;\n")
toFill.write(";;"+couple[0]+" contains a not handled type level rewriting;;;\n")
else:
toFill.write(";;"+couple[0]+";;\n")
toFill.write("Accepted;Refused;Pattern Matching;Non-linear;Brackets\n")
toFill.write(";;"+couple[0]+";;;\n")
toFill.write("Accepted;Refused;Pattern Matching;Critical pair;Brackets;Not positive\n")
longueur=0
for i in range(5):
for i in range(6):
a=len(couple[1][i])
if a>longueur:
longueur=a
for i in range(longueur):
for j in range(5):
for j in range(6):
if len(couple[1][j])>i:
toFill.write(couple[1][j][i])
if j==4:
if j==5:
toFill.write('\n')
else:
toFill.write(";")
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment