Function escaped_output

python/examples/angr_plugin.py:54–55

(str)

def escaped_output(str):
	return '\n'.join([s.encode("string_escape") for s in str.split('\n')])


# Define a background thread object for solving in the background