TEXT   130
Command civl verify timeout
Guest on 10th December 2024 01:00:29 AM


  1. === Command ===
  2. civl verify -timeout=1200 3V-S-Num3-nlc-T2.c
  3.  
  4. === Stats ===
  5.    time (s)            : 18.41
  6.    memory (bytes)      : 383778816
  7.    max process count   : 3
  8.    states              : 139049
  9.    states saved        : 90850
  10.    state matches       : 42902
  11.    transitions         : 181950
  12.    trace steps         : 133751
  13.    valid calls         : 110149
  14.    provers             : cvc4
  15.    prover calls        : 3
  16.  
  17. === Result ===
  18. The standard properties hold for all executions.
Raw Paste

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