11 lines
190 B
C++
11 lines
190 B
C++
/* Generated by configure */
|
|
#include <random>
|
|
int main(int argc, char **argv)
|
|
{
|
|
(void)argc; (void)argv;
|
|
/* BEGIN TEST: */
|
|
std::mt19937 mt(0);
|
|
/* END TEST */
|
|
return 0;
|
|
}
|