Playing around with trying to find bytecode, can only do so at high
level currently (i.e i get verify.java), I can do this through accessing
the vm, and then use the getInstruction() method, we need to find a way
to go deeper and make sure we are in fact grabbing the right
instructions at the right time! Perhaps use the path object too? Not
quite sure yet...
Merge branch 'master' of https://github.com/BugwarsREU-JPFTeam/jpf-core2.git
in search method, i added commented out code to show how i have obtained
high level bytecode, however we wish to go deeper than simply
Verify.Java (it's bytecode representation is the integer 259 i believe)