tap2json: add the time info in ms

Useful info to display.

Signed-off-by: Matthieu Baerts (NGI0) <[email protected]>

tap2json.py

@@ -52,6 +52,7 @@ def get_args_parser():
 
 # Same as in NIPA
 TAP_RE = re.compile(r"(not )?ok (\d+)( -)? ([^#]*[^ ])( # )?([^ ].*)?$")
+TIME_RE = re.compile(r"time=([0-9.]+)ms")
 
 def parse_tap(tap, name, only_fails):
 	results = {}
@@ -80,6 +81,10 @@ def parse_tap(tap, name, only_fails):
 				elif r[5].lower().startswith('ignore flaky'):
 					result['result'] = "flaky"
 
+			t = TIME_RE.findall(r[5].lower()).groups()
+			if t:
+				result['time_ms'] = t[-1] # take the last one
+
 		if only_fails and result['result'] == "pass":
 			continue