Changeset d658183 for tests/pybin/tools.py

Timestamp:

Mar 19, 2020, 2:01:28 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

0bd5cfb

Parents:

bbdb0c6

Message:

added test option to print process id instead of killing it to allow attaching with gdb

File:

• tests/pybin/tools.py (modified) (1 diff)

tests/pybin/tools.py

@@ -75 +75 @@
                                         return proc.returncode, out.decode("utf-8") if out else None
                                 except subprocess.TimeoutExpired:
-                                        proc.send_signal(signal.SIGABRT)
-                                        proc.communicate()
-                                        return 124, str(None)
+                                        if settings.timeout2gdb:
+                                                print("Process {} timeout".format(proc.pid))
+                                                proc.communicate()
+                                                return 124, str(None)
+                                        else:
+                                                proc.send_signal(signal.SIGABRT)
+                                                proc.communicate()
+                                                return 124, str(None)
 
         except Exception as ex: