bench/infer/call_val_in_loop.mlw

   1
   2 use bool.Bool
   3 use int.Int
   4
   5 val ref x : bool
   6 val ref t : int
   7
   8 val rnd () : bool
   9
  10 let f [@bddinfer] ()
  11   diverges
  12   =
  13   x <- False;
  14   t <- 0;
  15
  16   while True do
  17     x <- rnd();
  18     t <- t + 1
  19   done