TEXT   104
Verifying program while tracking
Guest on 23rd December 2024 02:12:45 AM


  1. Verifying program while tracking: {}
  2. Program has a potential bug: False bug
  3. Verifying program while tracking: {$M.3, $M.4, $M.5}
  4. Program has no bugs
  5. Reached recursion bound of 4
  6.  
  7. Boogie verification time: 11.54 s
  8. Time spent reading-writing programs: 3.32 s
  9.  
  10. Time spent checking a program (2): 12.42 s
  11. Time spent checking a path (4): 2.85 s
  12.  
  13. Number of procedures inlined: 34
  14. Number of variables tracked: 3
  15. Total Time: 16.4606332 s
  16. Total User CPU time: 16.4737056 s
Raw Paste

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