File main.py

examples/05_knuckledragger/python/main.py:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	"""
2	Drive the Knuckledragger / Z3 oracle from Python.
3
4	Loads the KnuckleTactic library, wires up the marshaller for

nothing calls this directly

mainFunction · 0.70

no test coverage detected