Starred list not supported in older python versions

Author: hannes-steffenhagen-diffblue

regression/validate-trace-xml-schema/check.py

@@ -111,7 +111,7 @@ def check_spec(self, spec_path):
                 self.check_trace(spec_path, trace_file)
 
     def read_trace_into(self, trace_file, args):
-        subprocess.run([CbmcPath, '--trace', '--xml-ui', *args],
+        subprocess.run([CbmcPath, '--trace', '--xml-ui'] + args,
                        stdout=trace_file)
 
     def check_trace(self, spec_path, trace_file):
@@ -154,9 +154,9 @@ def report(self):
 def run_gradle(args):
     with ChangeDir('validate-xsd'):
         if os.name == 'nt':
-            subprocess.check_call(['cmd', '/c', 'gradlew.bat' * args])
+            subprocess.check_call(['cmd', '/c', 'gradlew.bat'] + args)
         else:
-            subprocess.check_call(['./gradlew', *args])
+            subprocess.check_call(['./gradlew'] + args)
 
 
 # ensure that the uberjar exists and is up to date