Changeset a83012bf for tests

Timestamp:

Dec 3, 2021, 4:33:11 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

295dd61

Parents:

4c26a94

Message:

Missing a character in last push.

File:

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

tests/pybin/tools.py

@@ -374 +374 @@
 
         if not os.path.isfile(core):
-                return 1, "ERR No core dump (limit soft: {} hard: {})".format(resource.getrlimit(resource.RLIMIT_CORE))
+                return 1, "ERR No core dump (limit soft: {} hard: {})".format(*resource.getrlimit(resource.RLIMIT_CORE))
 
         try: