Browse Source

Remove LoLA files after fetching results

Yentl Van Tendeloo 7 years ago
parent
commit
48c79901c1
2 changed files with 5 additions and 1 deletions
  1. 4 0
      services/LoLA/main.py
  2. 1 1
      wrappers/modelverse_SCCD.py

+ 4 - 0
services/LoLA/main.py

@@ -1,5 +1,6 @@
 #!/usr/bin/env python
 import sys
+import os
 sys.path.append("wrappers")
 
 from modelverse import *
@@ -28,6 +29,9 @@ def lola_service(port):
     service_set(port, result['analysis']['result'])
     service_set(port, path.rstrip(','))
 
+    os.remove("path_output")
+    os.remove("output.json")
+
 try:
     init(sys.argv[1])
     login("LoLA", "LoLA_password")

+ 1 - 1
wrappers/modelverse_SCCD.py

@@ -1,7 +1,7 @@
 """
 Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
 
-Date:   Fri May 18 11:59:12 2018
+Date:   Fri May 18 12:04:24 2018
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server