Skip to content

Instantly share code, notes, and snippets.

@MirkoBonadei
Created August 9, 2015 08:35
Show Gist options
  • Save MirkoBonadei/9c7e08c6b33c9d722484 to your computer and use it in GitHub Desktop.
Save MirkoBonadei/9c7e08c6b33c9d722484 to your computer and use it in GitHub Desktop.
Eris samples of the main generators with size 30
Gen\int with size 30
14
-30
-1
13
20
17
14
-4
18
7
Gen\neg with size 30
-25
-7
-6
-30
0
-19
0
-1
-4
-8
Gen\nat with size 30
25
28
8
2
17
27
23
21
29
22
Gen\pos with size 30
19
14
30
22
0
28
27
4
28
0
Gen\float with size 30
-0.5357142857142857
-8
0.2413793103448276
-1.0714285714285714
-0.83333333333333337
0.35714285714285715
0.4642857142857143
0.43478260869565216
0.18518518518518517
0.75
Gen\choose(30, 9000) - no size used with size 30
5459
5494
1926
4173
7893
2042
127
1118
1639
2175
Gen\tuple(gen\int, gen\neg, gen\string) with size 30
array (
0 => 3,
1 => -3,
2 => 'OZjEq5=+V%8gySs%pN^&yR;z^L3gV<',
)
array (
0 => 6,
1 => -27,
2 => 'Kg3grhl,Qf_FjQsJWn{rj[?|Cu9W{0',
)
array (
0 => 17,
1 => -28,
2 => '1kR|v%cWJO)>x_.uRwQqttg/Ld?#-7',
)
array (
0 => 24,
1 => 0,
2 => ':yB}QkNY+G:8>k1o^&dF52+S48j~Tm',
)
array (
0 => -9,
1 => -23,
2 => 'k9K:rVa-m!x}oW%T}:f*myAYytG8b/',
)
array (
0 => 28,
1 => -12,
2 => 'i;wLGfL@e<wjpu%W~rR@LL6rcw#ZHJ',
)
array (
0 => 29,
1 => -22,
2 => '].[*MBFF-7<2m<%@\\QlqEPjG,3q)EW',
)
array (
0 => 30,
1 => -22,
2 => '.3zSY(jt:X2>xmof`57K\\C^NK$\'H\'k',
)
array (
0 => 0,
1 => -30,
2 => 'gX&RN?,_\\%NMk/a$Y?F9mp<s9B`;V_',
)
array (
0 => 7,
1 => -8,
2 => 'of[zG9!tel%Ho]f6uT\'3I@U*[,isJ#',
)
Gen\list(gen\string(3)) with size 30
array (
0 => '2;i',
1 => 'm71',
2 => '(8\'',
3 => 'm%+',
4 => '6sh',
5 => '|+_',
6 => 'Q1q',
7 => 'zQH',
8 => '&.S',
9 => 'n"}',
10 => 'q39',
11 => '\\"P',
12 => 'm)g',
13 => 'suk',
14 => '}-`',
15 => 'g*j',
16 => 'G[{',
17 => ':WM',
18 => 'a\\Z',
19 => '6L\\',
20 => '4?o',
21 => 'Mzp',
22 => '|hy',
23 => 'e\\p',
24 => 'R[|',
25 => '3C(',
26 => '|ic',
27 => 'x%<',
28 => 'Gew',
29 => '#zE',
)
array (
0 => '_0c',
1 => 'O\\^',
2 => 'AZG',
3 => ';A%',
4 => '-r_',
5 => '*&$',
6 => '2$m',
7 => 'u|q',
8 => '2DW',
9 => '*GS',
10 => 'N\'b',
11 => '3V@',
12 => 'pvy',
13 => '93<',
14 => '=?/',
15 => '|I5',
16 => '"[8',
17 => 'nQ6',
18 => 'abZ',
19 => ':l"',
20 => 'l<)',
21 => 'ON^',
22 => 'n@V',
23 => 'iXi',
24 => '&u*',
25 => '5sR',
26 => 'It/',
27 => 'ad_',
28 => 'vGC',
29 => 'Q`1',
)
array (
0 => 'SML',
1 => '[{z',
2 => ';k;',
3 => 'qVs',
4 => '[\\i',
5 => 'dp^',
6 => '8;T',
7 => 'F|9',
8 => '\'t_',
9 => 'JF@',
10 => 'Zym',
11 => '(Vj',
12 => '$pW',
13 => '?b.',
14 => '3?i',
15 => '|$Z',
16 => '[<u',
17 => '0br',
18 => 'Iig',
19 => '*4/',
20 => 'Jn*',
21 => '8v_',
22 => '$yQ',
23 => 'Z94',
24 => 'gLR',
25 => 'QJV',
26 => '-\'q',
27 => '$7U',
28 => 'v_?',
29 => '^iR',
)
array (
0 => 'm4A',
1 => 'vL9',
2 => 'WP3',
3 => ')+L',
4 => '<rx',
5 => 'nEC',
6 => 'EQI',
7 => '8U_',
8 => 'lL@',
9 => ',,*',
10 => '^x>',
11 => '!pj',
12 => '9H;',
13 => 'KQE',
14 => 'wm8',
15 => 'p\\\\',
16 => '4#/',
17 => '];d',
18 => '=(1',
19 => '\\4<',
20 => 'fq6',
21 => '%q(',
22 => 'n,O',
23 => '*V"',
24 => 'OOn',
25 => 'g@L',
26 => 'ETN',
27 => 'S2h',
28 => '8Op',
29 => 'I,%',
)
array (
0 => 'dqv',
1 => 'zvh',
2 => '#es',
3 => 'RoK',
4 => 'S@z',
5 => 'B(<',
6 => 'mLo',
7 => '=!#',
8 => '\'9Q',
9 => 'va\\',
10 => 'zGO',
11 => 'qBF',
12 => '[E-',
13 => 'Pv|',
14 => '{K=',
15 => 'vlD',
16 => '3[p',
17 => '$xp',
18 => '&~*',
19 => 'Vuk',
20 => '4q3',
21 => 'bcU',
22 => '*@y',
23 => '7oq',
24 => '4l=',
25 => 'Pc+',
26 => 'tvf',
27 => 'ey_',
28 => 'V~^',
29 => '`VU',
)
array (
0 => 'LiG',
1 => '_L,',
2 => '5VK',
3 => '0l<',
4 => '"")',
5 => '>Ql',
6 => 'IGc',
7 => '0-^',
8 => 'oc^',
9 => 'NE5',
10 => '%p}',
11 => 'KPK',
12 => 'We"',
13 => '$tn',
14 => '?vo',
15 => 'H6B',
16 => '5^h',
17 => 'xnu',
18 => 'X^Z',
19 => '7.~',
20 => 'K2p',
21 => 'J]B',
22 => 'u5(',
23 => 'w8|',
24 => 'fWt',
25 => 'W~+',
26 => 'x5i',
27 => 'b/X',
28 => 'Yf8',
29 => '4}E',
)
array (
0 => '4JV',
1 => '%s4',
2 => 'GiI',
3 => 'Oa`',
4 => 'MI8',
5 => 'B!8',
6 => 'LxL',
7 => '7\\Z',
8 => 'n6B',
9 => '\'I@',
10 => 'L]i',
11 => '#b^',
12 => '7*H',
13 => '_X+',
14 => 'A&S',
15 => 'YGT',
16 => 'psN',
17 => '=,+',
18 => 'wy@',
19 => ';"i',
20 => 'ZMG',
21 => 'EP*',
22 => '$g3',
23 => 'LGk',
24 => 'Whq',
25 => '+B:',
26 => '_3/',
27 => '.P:',
28 => '8I5',
29 => 'Wc6',
)
array (
0 => 'A?c',
1 => 'hc5',
2 => 'qg{',
3 => '&5D',
4 => 'qk-',
5 => 'cvN',
6 => '}Va',
7 => '-c2',
8 => 'FzZ',
9 => 'ZS>',
10 => 'pt]',
11 => 'U]B',
12 => 'iP*',
13 => 'eV?',
14 => '+H,',
15 => '7-#',
16 => 'e+Y',
17 => 'H7=',
18 => 'Y]9',
19 => '58l',
20 => 'S*a',
21 => '1^@',
22 => 'RHp',
23 => '\\/G',
24 => '{9o',
25 => '(P{',
26 => '+7(',
27 => 'c^?',
28 => '"9{',
29 => ';M5',
)
array (
0 => '(">',
1 => 'i2|',
2 => '+dE',
3 => 'zAT',
4 => 'B=m',
5 => '3E?',
6 => '0OU',
7 => '735',
8 => 'V5N',
9 => 'SO{',
10 => 'gW|',
11 => '\'A/',
12 => '$Kr',
13 => 'IG5',
14 => '}iR',
15 => 'k{w',
16 => '+,G',
17 => '`CZ',
18 => 'txn',
19 => 'CL>',
20 => '@5u',
21 => '=;7',
22 => 'K?b',
23 => '?h*',
24 => 'Tfr',
25 => '(Ro',
26 => '~]z',
27 => 'G>>',
28 => '"48',
29 => 'pWc',
)
array (
0 => '0vw',
1 => '&44',
2 => '<_S',
3 => '~~=',
4 => '*S$',
5 => '|[V',
6 => 'l[4',
7 => 'g#R',
8 => '\'%e',
9 => '?t=',
10 => '#%4',
11 => 'z*G',
12 => '0F(',
13 => 'cE\'',
14 => '!OZ',
15 => '$L6',
16 => 'Z9q',
17 => 'n"s',
18 => 'A)w',
19 => '\'Gl',
20 => 'DJq',
21 => 'XEz',
22 => '~UA',
23 => '\'9f',
24 => '.96',
25 => 'g=b',
26 => '|wz',
27 => 'nf{',
28 => 'c)&',
29 => '\\0L',
)
Gen\vector(12, gen\neg()) with size 30
array (
0 => -13,
1 => -27,
2 => -3,
3 => -7,
4 => -26,
5 => -6,
6 => -10,
7 => -11,
8 => -2,
9 => -7,
10 => -18,
11 => -27,
)
array (
0 => -5,
1 => -13,
2 => -7,
3 => -21,
4 => -3,
5 => -29,
6 => -27,
7 => -11,
8 => -24,
9 => -26,
10 => -27,
11 => -21,
)
array (
0 => -28,
1 => 0,
2 => -4,
3 => -26,
4 => -16,
5 => -17,
6 => -26,
7 => -12,
8 => -26,
9 => -7,
10 => -17,
11 => -15,
)
array (
0 => -4,
1 => -14,
2 => -18,
3 => 0,
4 => -3,
5 => -1,
6 => -30,
7 => -18,
8 => -6,
9 => -7,
10 => -13,
11 => -1,
)
array (
0 => 0,
1 => -1,
2 => -27,
3 => -29,
4 => -28,
5 => -2,
6 => -18,
7 => -1,
8 => -4,
9 => -30,
10 => 0,
11 => -19,
)
array (
0 => -22,
1 => -8,
2 => -15,
3 => -13,
4 => -18,
5 => -2,
6 => 0,
7 => -15,
8 => -13,
9 => -13,
10 => -21,
11 => -22,
)
array (
0 => -17,
1 => -29,
2 => -8,
3 => -24,
4 => -13,
5 => -5,
6 => -11,
7 => -13,
8 => -2,
9 => -13,
10 => -16,
11 => 0,
)
array (
0 => -15,
1 => 0,
2 => -28,
3 => 0,
4 => -14,
5 => -1,
6 => -17,
7 => -24,
8 => -26,
9 => -28,
10 => -17,
11 => -5,
)
array (
0 => -26,
1 => -23,
2 => -15,
3 => -11,
4 => -6,
5 => -6,
6 => -4,
7 => -18,
8 => -7,
9 => -10,
10 => -14,
11 => -25,
)
array (
0 => -2,
1 => -16,
2 => -3,
3 => -9,
4 => -8,
5 => -11,
6 => -27,
7 => -25,
8 => -4,
9 => -7,
10 => -8,
11 => -26,
)
Gen\elements(10, 'hello-world', [1, 2]) with size 30
'hello-world'
10
'hello-world'
array (
0 => 1,
1 => 2,
)
10
10
10
'hello-world'
array (
0 => 1,
1 => 2,
)
array (
0 => 1,
1 => 2,
)
Gen\oneOf([gen\pos, gen\neg, gen\float]) with size 30
1
-1
-12
-5
-9
-17
-13
-1.2666666666666666
6.666666666666667
-26
Gen\frequency([[3, gen\pos()], [7, gen\string(1)]]) with size 30
'<'
'b'
7
'W'
'r'
18
'0'
'0'
'#'
'6'
@giorgiosironi
Copy link

👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment