blob: c058f748bcca8c484c75740c62284e6ec9423534 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/usr/bin/env python3
# Generate a big aggregate
import sys
import random
out = sys.stdout
depth = 1024
width = 6
out.write("""
package repro is
type array2d is array(0 to {}, 0 to {}) of integer;
constant cst : array2d :=
(
""".format(depth - 1, width - 1))
for i in range(depth):
if i != 0:
out.write(',\n')
out.write (' (')
for j in range(width):
if j != 0:
out.write(', ')
out.write('{}'.format(random.randint(0, 1<<31)))
out.write(')')
out.write("""
);
end repro;
""")
|
