MCPcopy Create free account
hub / github.com/aff3ct/aff3ct / check_positive

Function check_positive

scripts/debug_parser/aff3ct_debug_parser.py:227–231  ·  view source on GitHub ↗
(value)

Source from the content-addressed store, hash-verified

225
226
227def check_positive(value):
228 ivalue = int(value)
229 if ivalue < 0:
230 raise argparse.ArgumentTypeError("%s is an invalid positive int value" % value)
231 return ivalue
232
233
234def check_directory(value):

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected