mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
14 lines
162 B
Plaintext
14 lines
162 B
Plaintext
module Test
|
|
|
|
use random.Random
|
|
|
|
let test1 () =
|
|
init 42;
|
|
let x = random_int 10 in
|
|
init 42;
|
|
let y = random_int 10 in
|
|
assert { x = y }
|
|
|
|
end
|
|
|