hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 03:06:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add flow-through test case generator

Browse Source
This commit is contained in:
Chris Smowton
2021-06-03 16:06:21 +01:00
parent 6fee40cfde
commit 6360e0b7c4
3 changed files with 16 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/src/utils/GenerateFlowTestCase.py
View File

@@ -31,7 +31,7 @@ if os.path.exists(resultJava) or os.path.exists(resultQl):
workDir = tempfile.mkdtemp()
# Step 1: make a database that touches all types whose methods we want to test:
# Make a database that touches all types whose methods we want to test:
print("Creating Maven project")
projectDir = os.path.join(workDir, "mavenProject")
os.makedirs(projectDir)
@@ -138,6 +138,10 @@ with open(resultQl, "w") as f:
with open(os.path.join(scriptPath, "testFooter.qlfrag"), "r") as header:
shutil.copyfileobj(header, f)
# Make an empty .expected file, since this is an inline-exectations test
with open(os.path.join(sys.argv[3], "test.expected")):
pass
cmd = ['codeql', 'query', 'format', '-qq', '-i', resultQl]
subprocess.call(cmd)