-
Notifications
You must be signed in to change notification settings - Fork 15
/
verify-lexer.py
44 lines (35 loc) · 1.15 KB
/
verify-lexer.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
#!/usr/bin/env python
# ARGUMENTS:
# 1 - path to the flex-lexer executable
# 2 - path to the rlex executable
# 3 - path to the source directory to look for *.rs files
import sys
import os
import subprocess
flex = sys.argv[1]
rlex = sys.argv[2]
outfile = open('lexer.bad', 'w')
def chk(*args, **kwargs):
output = ""
try:
output = subprocess.check_output(*args, **kwargs)
except CalledProcessError:
pass
return output
def compare(p):
if chk(flex, stdin=open(p)) != chk(rlex, stdin=open(p)):
outfile.write(p + '\n')
for base, dirs, files in os.walk(sys.argv[3]):
for f in filter(lambda p: p.endswith('.rs'), files):
p = os.path.join(base, f)
# compile-fail programs and should be ignored, as well as
# files that explicitly say they should be ignored.
compile_fail = 'compile-fail' in p
ignore = any('ignore-test' in line or 'ignore-lexer-test' in line
for line in open(p).readlines())
if compile_fail or ignore:
print("skipping {}".format(p))
continue
print("comparing {}".format(p))
compare(p)
outfile.close()