Skip to content

Instantly share code, notes, and snippets.

@MirkoBonadei
Last active August 29, 2015 14:27
Show Gist options
  • Save MirkoBonadei/b923dfb0ebe1ed120c25 to your computer and use it in GitHub Desktop.
Save MirkoBonadei/b923dfb0ebe1ed120c25 to your computer and use it in GitHub Desktop.
Eris samples of the main generators with size 10
Gen\int with size 10
8
1
0
10
-3
-6
-8
-9
-3
0
Gen\neg with size 10
0
-10
-2
-1
-3
-1
-7
-4
-10
0
Gen\nat with size 10
1
1
3
8
9
7
0
9
5
8
Gen\pos with size 10
4
10
1
8
7
4
5
7
5
5
Gen\float with size 10
1
0.22222222222222221
1.25
-1
-0.5
0.59999999999999998
2
-0.90000000000000002
-0.5714285714285714
4.5
Gen\choose(30, 9000) - no size used with size 10
1974
3273
3053
3929
5434
1884
4962
1142
5277
6535
Gen\tuple(gen\int, gen\neg, gen\string) with size 10
array (
0 => -4,
1 => -3,
2 => 'wvvEBBR_4M',
)
array (
0 => -5,
1 => -1,
2 => 'M:8a\\X,7k`',
)
array (
0 => 3,
1 => -4,
2 => '0`B)X9MzZ~',
)
array (
0 => -6,
1 => -5,
2 => 'H[4tuLVR%b',
)
array (
0 => -8,
1 => -4,
2 => '5huEJ8M$Qz',
)
array (
0 => 10,
1 => -10,
2 => 'zHbC%v9yCo',
)
array (
0 => 5,
1 => -5,
2 => '8tCM^:r*R@',
)
array (
0 => 1,
1 => -3,
2 => '06d+^HNb?f',
)
array (
0 => -7,
1 => -6,
2 => '**AB~dn^}a',
)
array (
0 => -8,
1 => 0,
2 => 'T>~cTdn3.>',
)
Gen\list(gen\string(3)) with size 10
array (
0 => 'uM&',
1 => 'S0\\',
2 => ']:e',
3 => '}[e',
4 => 'bKD',
5 => 'a.,',
6 => '20!',
7 => 'eM!',
8 => 'J#e',
9 => ':6r',
)
array (
0 => 'W,@',
1 => '\\_P',
2 => '9>i',
3 => '~<F',
4 => 'd~p',
5 => ')`}',
6 => '5r.',
7 => '5Y[',
8 => '5$^',
9 => 'z=s',
)
array (
0 => 'mt!',
1 => '/Q_',
2 => '^j|',
3 => 'Ii:',
4 => 'nO9',
5 => '_Wy',
6 => '^kl',
7 => 'l"G',
8 => 'I7K',
9 => '(2h',
)
array (
0 => 'z!]',
1 => 'z/0',
2 => 'Zmy',
3 => 'X8d',
4 => 'q\'4',
5 => ',fk',
6 => '\'EX',
7 => 's3Y',
8 => ';[p',
9 => 'fb$',
)
array (
0 => 'O]$',
1 => '-Y2',
2 => '=5!',
3 => '7l8',
4 => '{_?',
5 => '0k&',
6 => 'zqK',
7 => 'Sf^',
8 => '.":',
9 => '}g{',
)
array (
0 => '"8Z',
1 => '%E4',
2 => '7aH',
3 => '8x6',
4 => 'Ptt',
5 => 'n%a',
6 => 't!T',
7 => 'AS;',
8 => '~`<',
9 => '9_%',
)
array (
0 => '6`=',
1 => 'pea',
2 => '&|C',
3 => 'M5=',
4 => 'cd2',
5 => 'YT7',
6 => ';I7',
7 => 'nij',
8 => '*hK',
9 => 'F#+',
)
array (
0 => 'K9k',
1 => 'g*R',
2 => 'J/O',
3 => 'm\\d',
4 => '+@J',
5 => '=y}',
6 => 'S5G',
7 => 'i%2',
8 => 'T/z',
9 => '!T|',
)
array (
0 => ',!7',
1 => 'wh@',
2 => 'J3O',
3 => 'y!,',
4 => '^+L',
5 => ')HF',
6 => '(zZ',
7 => 'Ne_',
8 => '`;m',
9 => '[;C',
)
array (
0 => 'YGC',
1 => 'o?,',
2 => '0i?',
3 => '_c?',
4 => 'jCJ',
5 => '7Lq',
6 => '\\Sm',
7 => '8#S',
8 => 'vbm',
9 => 'e>)',
)
Gen\vector(12, gen\neg()) with size 10
array (
0 => 0,
1 => -5,
2 => -8,
3 => -6,
4 => -6,
5 => -6,
6 => -2,
7 => -7,
8 => -6,
9 => -5,
10 => -7,
11 => -5,
)
array (
0 => -9,
1 => -4,
2 => -1,
3 => -8,
4 => -6,
5 => -7,
6 => -1,
7 => -3,
8 => -1,
9 => -10,
10 => -2,
11 => 0,
)
array (
0 => -8,
1 => 0,
2 => -10,
3 => -1,
4 => -10,
5 => -5,
6 => -1,
7 => -3,
8 => -6,
9 => -1,
10 => -2,
11 => -3,
)
array (
0 => -2,
1 => -8,
2 => -10,
3 => -3,
4 => -4,
5 => -2,
6 => -9,
7 => -1,
8 => -8,
9 => -10,
10 => -10,
11 => -8,
)
array (
0 => -1,
1 => -1,
2 => -3,
3 => -8,
4 => -9,
5 => 0,
6 => -4,
7 => -6,
8 => -7,
9 => -2,
10 => -1,
11 => -4,
)
array (
0 => 0,
1 => -9,
2 => -5,
3 => -5,
4 => -5,
5 => -1,
6 => -1,
7 => -4,
8 => -5,
9 => -9,
10 => -9,
11 => -8,
)
array (
0 => -2,
1 => 0,
2 => -4,
3 => -2,
4 => -8,
5 => -6,
6 => -7,
7 => 0,
8 => -8,
9 => -1,
10 => 0,
11 => -10,
)
array (
0 => -10,
1 => -5,
2 => -2,
3 => -3,
4 => -3,
5 => -8,
6 => -9,
7 => -2,
8 => 0,
9 => 0,
10 => -9,
11 => 0,
)
array (
0 => -2,
1 => -6,
2 => -7,
3 => -9,
4 => -3,
5 => -5,
6 => -6,
7 => -10,
8 => -1,
9 => -6,
10 => -7,
11 => -7,
)
array (
0 => -6,
1 => -6,
2 => -8,
3 => -1,
4 => -8,
5 => -2,
6 => -1,
7 => -1,
8 => -3,
9 => -10,
10 => -4,
11 => -8,
)
Gen\elements(10, 'hello-world', [1, 2]) with size 10
array (
0 => 1,
1 => 2,
)
'hello-world'
'hello-world'
'hello-world'
10
10
10
array (
0 => 1,
1 => 2,
)
10
array (
0 => 1,
1 => 2,
)
Gen\oneOf([gen\pos, gen\neg, gen\float]) with size 10
8
-8
10
0
-0.59999999999999998
8
3
-10
-2
-3
Gen\\frequency([[3, gen\pos()], [7, gen\string(1)]]) with size 10
'*'
'1'
'A'
'q'
5
'/'
':'
'P'
5
'i'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment