Merge pull request #3 from AdamZsofi/dev-tracegen

Added extension check to backannotation
arminzavada · Nov 20, 2022 · 2ceddcc · 2ceddcc
2 parents 43df9db + 15256b9
commit 2ceddcc
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/...amma.theta.verification/src/hu/bme/mit/gamma/theta/verification/ThetaTraceGenerator.xtend b/...amma.theta.verification/src/hu/bme/mit/gamma/theta/verification/ThetaTraceGenerator.xtend
@@ -74,8 +74,10 @@ class ThetaTraceGenerator {
 		val gammaPackage = traceability as Package
 		if(traceDir.listFiles() !== null) {
 			for(File tf : traceDir.listFiles()) {
-				var traceFileScanner = new Scanner(tf)
-				traceList.add(gammaPackage.backAnnotate(traceFileScanner))
+				if(tf.name.endsWith(".trace")) {
+					var traceFileScanner = new Scanner(tf)
+					traceList.add(gammaPackage.backAnnotate(traceFileScanner))					
+				}
 			}				
 		}
 		return traceList