TEXT   130
Verifying program while tracking program has a potential bug
Guest on 23rd December 2024 02:13:33 AM


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

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