Commit 481cc648 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

TASTE no longer needs v1 output from ASN1SCC.

parent e004a2d2
Pipeline #4180 passed with stage
in 3 minutes and 6 seconds
......@@ -420,8 +420,7 @@ def ParseAsnFileList(listOfFilenames: List[str]) -> None: # pylint: disable=inv
newHash = filehash.hexdigest()
# set the name of the XML files containing the dumped ASTs
xmlAST = projectCache + os.sep + newHash + "_ast_v4.xml"
xmlAST2 = projectCache + os.sep + newHash + "_ast_v1.xml"
if not os.path.exists(xmlAST) or not os.path.exists(xmlAST2):
if not os.path.exists(xmlAST):
someFilesHaveChanged = True
print("[DMT] No cached model found for", ",".join(listOfFilenames))
......
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