API tools faq
paste
Advertisement
shauvik

jpf-android_run-calculator2

shauvik
Aug 15th, 2014
283
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 6.64 KB | None | 0 0
raw download clone embed print report
  1. shauvik@airavata:~/projects/jpf-core$ java -jar build/RunJPF.jar /Volumes/Secondary/Android/androtest/tools/jpf-android/Applications/Calculator/src/TestCalculator_NoErr.jpf
  2. [INFO] not a valid source root: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/src/examples
  3. [INFO] not a valid source root: /Users/shauvik/projects/jpf-shell/src/examples
  4. [INFO] watching for autoload annotation @gov.nasa.jpf.Const
  5. [INFO] watching for autoload annotation @gov.nasa.jpf.NonNull
  6. [WARNING] unknown classpath element: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/examples
  7. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-nhandler/build/jpf-nhandler-classes.jar
  8. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-shell/build/examples
  9. [INFO] collected system classpath: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/bin/classes:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/libs/EvalEx-1.0.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/jpf-android-classes.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/lib/android.jar:/Users/shauvik/projects/jpf-core/build/jpf-classes.jar:/Users/shauvik/projects/jpf-core/build/examples:/Users/shauvik/projects/jpf-nhandler/build/examples:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/resources.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/rt.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jsse.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jce.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/charsets.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jfr.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/JObjC.jar
  10. [INFO] VMListener added: gov.nasa.jpf.report.Statistics@6ea4ce0d
  11. [INFO] SearchListener added: gov.nasa.jpf.report.Statistics@6ea4ce0d
  12. [SEVERE] JPF configuration error: class not found gov.nasa.jpf.vm.JVMForwarder
  13. [SEVERE] JPF terminated
  14.  
  15.  
  16.  
  17. shauvik@airavata:~/projects/jpf-core$
  18. shauvik@airavata:~/projects/jpf-core$ java -jar build/RunJPF.jar /Volumes/Secondary/Android/androtest/tools/jpf-android/Applications/Calculator/src/TestCalculator_Checkpoint.jpf
  19. [INFO] not a valid source root: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/src/examples
  20. [INFO] not a valid source root: /Users/shauvik/projects/jpf-shell/src/examples
  21. [INFO] watching for autoload annotation @gov.nasa.jpf.Const
  22. [INFO] watching for autoload annotation @gov.nasa.jpf.NonNull
  23. [WARNING] unknown classpath element: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/examples
  24. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-nhandler/build/jpf-nhandler-classes.jar
  25. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-shell/build/examples
  26. [INFO] collected system classpath: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/bin/classes:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/libs/EvalEx-1.0.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/jpf-android-classes.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/lib/android.jar:/Users/shauvik/projects/jpf-core/build/jpf-classes.jar:/Users/shauvik/projects/jpf-core/build/examples:/Users/shauvik/projects/jpf-nhandler/build/examples:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/resources.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/rt.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jsse.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jce.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/charsets.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jfr.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/JObjC.jar
  27. [INFO] BFS Search
  28. [INFO] VMListener added: gov.nasa.jpf.report.Statistics@bfa8f74
  29. [INFO] SearchListener added: gov.nasa.jpf.report.Statistics@bfa8f74
  30. [SEVERE] JPF configuration error: class not found gov.nasa.jpf.vm.JVMForwarder
  31. [SEVERE] JPF terminated
  32.  
  33.  
  34.  
  35. shauvik@airavata:~/projects/jpf-core$
  36. shauvik@airavata:~/projects/jpf-core$ java -jar build/RunJPF.jar /Volumes/Secondary/Android/androtest/tools/jpf-android/Applications/Calculator/src/TestCalculator_Exception.jpf
  37. [INFO] not a valid source root: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/src/examples
  38. [INFO] not a valid source root: /Users/shauvik/projects/jpf-shell/src/examples
  39. [INFO] watching for autoload annotation @gov.nasa.jpf.Const
  40. [INFO] watching for autoload annotation @gov.nasa.jpf.NonNull
  41. [WARNING] unknown classpath element: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/examples
  42. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-nhandler/build/jpf-nhandler-classes.jar
  43. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-shell/build/examples
  44. [INFO] collected system classpath: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/bin/classes:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/libs/EvalEx-1.0.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/jpf-android-classes.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/lib/android.jar:/Users/shauvik/projects/jpf-core/build/jpf-classes.jar:/Users/shauvik/projects/jpf-core/build/examples:/Users/shauvik/projects/jpf-nhandler/build/examples:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/resources.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/rt.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jsse.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jce.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/charsets.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jfr.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/JObjC.jar
  45. [INFO] BFS Search
  46. [INFO] VMListener added: gov.nasa.jpf.report.Statistics@6ee00ed0
  47. [INFO] SearchListener added: gov.nasa.jpf.report.Statistics@6ee00ed0
  48. [SEVERE] JPF configuration error: class not found gov.nasa.jpf.vm.JVMForwarder
  49. [SEVERE] JPF terminated
  50. shauvik@airavata:~/projects/jpf-core$
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!