TEXT   174
Warning Using default recursion bound of 1
Guest on 23rd December 2024 02:14:56 AM


  1. Warning: Using default recursion bound of 1
  2. Verifying program while tracking: {}
  3. Program has a potential bug: False bug
  4. Verifying program while tracking: {$M.3}
  5. Program has a potential bug: False bug
  6. Verifying program while tracking: {$M.3, $M.2}
  7. Program has a potential bug: False bug
  8. Verifying program while tracking: {$M.3, $M.2, $M.1}
  9. Program has a potential bug: False bug
  10. Verifying program while tracking: {$M.3, $M.2, $M.1, $M.5}
  11. Program has a potential bug: False bug
  12. Verifying program while tracking: {$M.3, $M.2, $M.1, $M.5, $pthreadStatus}
  13. Program has a potential bug: False bug
  14. Program has a potential bug: False bug
  15. Verifying program while tracking: {$M.3, $M.2, $M.1, $M.5, $pthreadStatus, $M.8, $CurrAddr}
  16. Program has no bugs
  17.  
  18. Boogie verification time: 24.30 s
  19. Time spent reading-writing programs: 22.09 s
  20.  
  21. Time spent checking a program (7): 21.39 s
  22. Time spent checking a path (28): 29.67 s
  23.  
  24. Number of procedures inlined: 74
  25. Number of variables tracked: 7
  26. Total Time: 55.3765371 s
  27. Total User CPU time: 54.6159501 s
Raw Paste

Login or Register to edit or fork this paste. It's free.