import nose
import angr
from simuvex.s_cc import SimCCSystemVAMD64

import logging
l = logging.getLogger("angr.tests.test_rol")

import os
test_location = str(os.path.join(os.path.dirname(os.path.realpath(__file__)), '../../binaries/tests'))

def test_rol_x86_64():
    binary_path = test_location + "/x86_64/test_rol.exe"

    p = angr.Project(binary_path)

    initial_state = proj.factory.blank_state(addr=0x401000)
    r_rax = initial_state.se.BVS('rax', 64)
    initial_state.regs.rax = r_rax

    pg = proj.factory.path_group(initial_state, immutable=False)
    pg.explore(find=0x401013, avoid=0x401010)
    found_state = pg.found[0].state

    result = found_state.se.any_int(r_rax)
    nose.tools.assert_equal(result, 0x37B7AB70)

def test_rol_i386():
    binary_path = test_location + "/i386/test_rol.exe"

    p = angr.Project(binary_path)

    initial_state = proj.factory.blank_state(addr=0x401000)
    r_eax = initial_state.se.BVS('eax', 32)
    initial_state.regs.eax = r_eax

    pg = proj.factory.path_group(initial_state, immutable=False)
    pg.explore(find=0x401013, avoid=0x401010)
    found_state = pg.found[0].state

    result = found_state.se.any_int(r_eax)
    nose.tools.assert_equal(result, 0x37B7AB70) 

def test_all():
    test_rol_x86_64()
    test_rol_i386()

if __name__ == "__main__":
    run_all()
    
import nose
import angr
from simuvex.s_cc import SimCCSystemVAMD64

import logging
l = logging.getLogger("angr.tests.test_rol")

import os
test_location = str(os.path.join(os.path.dirname(os.path.realpath(__file__)), '../../binaries/tests'))

def test_rol_x86_64():
    binary_path = test_location + "/x86_64/test_rol.exe"

    proj = angr.Project(binary_path)

    initial_state = proj.factory.blank_state(addr=0x401000)
    r_rax = initial_state.se.BVS('rax', 64)
    initial_state.regs.rax = r_rax

    pg = proj.factory.path_group(initial_state, immutable=False)
    pg.explore(find=0x401013, avoid=0x401010)
    found_state = pg.found[0].state

    result = found_state.se.any_int(r_rax)
    nose.tools.assert_equal(result, 0x37B7AB70)

def test_rol_i386():
    binary_path = test_location + "/i386/test_rol.exe"

    proj = angr.Project(binary_path)

    initial_state = proj.factory.blank_state(addr=0x401000)
    r_eax = initial_state.se.BVS('eax', 32)
    initial_state.regs.eax = r_eax

    pg = proj.factory.path_group(initial_state, immutable=False)
    pg.explore(find=0x401013, avoid=0x401010)
    found_state = pg.found[0].state

    result = found_state.se.any_int(r_eax)
    nose.tools.assert_equal(result, 0x37B7AB70) 

def test_all():
    test_rol_x86_64()
    test_rol_i386()

if __name__ == "__main__":
    run_all()
    

Rename variable p to proj