Changeset a83012bf


Ignore:
Timestamp:
Dec 3, 2021, 4:33:11 PM (6 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
enum, forall-pointer-decay, master
Children:
295dd61
Parents:
4c26a94
Message:

Missing a character in last push.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/pybin/tools.py

    r4c26a94 ra83012bf  
    374374
    375375        if not os.path.isfile(core):
    376                 return 1, "ERR No core dump (limit soft: {} hard: {})".format(resource.getrlimit(resource.RLIMIT_CORE))
     376                return 1, "ERR No core dump (limit soft: {} hard: {})".format(*resource.getrlimit(resource.RLIMIT_CORE))
    377377
    378378        try:
Note: See TracChangeset for help on using the changeset viewer.