z3-z3-4.13.0.src.test.random.cpp Maven / Gradle / Ivy
The newest version!
/*++
Copyright (c) 2006 Microsoft Corporation
Module Name:
random.cpp
Abstract:
Author:
Leonardo de Moura (leonardo) 2007-08-24.
Revision History:
--*/
#include "util/util.h"
#include "util/trace.h"
static void tst1() {
random_gen r(0);
TRACE("random",
for (unsigned i = 0; i < 1000; i++) {
tout << r() << "\n";
});
}
void tst_random() {
tst1();
}