new_contents: 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()
      
subject: Add test_rol.py