def iprand():
    return 'iprand'
Return a smt bit vector that represents a register.
dataset/ETHPy150Open ipython/ipython-py3k/IPython/testing/plugin/dtexample.py/iprand--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.get_tmp_register_expr