Esempi in Python per tool_name

Esempio n. 1

File: logging.py Progetto: HankFaan/maple

def msg(msg, level=1):
    if _message_on and level <= _message_level:
        sys.stdout.write('[%s] %s' % (config.tool_name(), msg))

Esempio n. 2

File: logging.py Progetto: sljiaa/data-race-detectors

def msg(msg, level=1):
    if _message_on and level <= _message_level:
        sys.stdout.write('[%s] %s' % (config.tool_name(), msg))

Esempio n. 3

File: logging.py Progetto: HankFaan/maple

def err(msg):
    sys.stderr.write('[%s] %s' % (config.tool_name(), msg))
    sys.exit(1)

Esempio n. 4

File: logging.py Progetto: sljiaa/data-race-detectors

def err(msg):
    sys.stderr.write('[%s] %s' % (config.tool_name(), msg))
    sys.exit(1)