diff options
author | Gavin Howard <gavin@yzena.com> | 2021-07-31 10:29:51 -0600 |
---|---|---|
committer | Gavin Howard <gavin@yzena.com> | 2021-07-31 10:46:41 -0600 |
commit | a2fc2e25e6b3db3a6c7be710396ca9065dfd6131 (patch) | |
tree | b3fde19e2ea1255bd3e58727b6ece392b56f2794 | |
parent | e09c337d25610930ef96566309447587ba22c2a2 (diff) | |
download | bc-a2fc2e25e6b3db3a6c7be710396ca9065dfd6131.tar.gz |
Reduce the number of test cases for AFL++
Signed-off-by: Gavin Howard <gavin@yzena.com>
-rw-r--r--[l---------] | tests/fuzzing/bc_inputs1/add.txt | 85 | ||||
-rw-r--r--[l---------] | tests/fuzzing/bc_inputs1/cosine.txt | 30 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs1/decimal.txt | 5 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs1/divide.txt | 11 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs1/length.txt | 42 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs2/modulus.txt | 42 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs2/multiply.txt | 25 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs2/power.txt | 23 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs2/shift.txt | 239 | ||||
-rw-r--r--[l---------] | tests/fuzzing/bc_inputs2/sine.txt | 43 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs3/01.txt | 296 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs3/03.txt | 2 | ||||
-rw-r--r-- | tests/fuzzing/bc_inputs3/23.txt | bin | 1024 -> 436 bytes |
13 files changed, 158 insertions, 685 deletions
diff --git a/tests/fuzzing/bc_inputs1/add.txt b/tests/fuzzing/bc_inputs1/add.txt index 580894d4..b84f7438 120000..100644 --- a/tests/fuzzing/bc_inputs1/add.txt +++ b/tests/fuzzing/bc_inputs1/add.txt @@ -1 +1,84 @@ -../../bc/add.txt
\ No newline at end of file +0 + 0 +0 + 1 +1 + 1 +1 + 0 +2 + 5 +237 + 483 +999 + 999 +2374623 + 324869356734856 +2378639084586723980562 + 23468729367839 +37298367203972395108367910823465293084561329084561390845613409516734503870691837451 + 785621394067928346918023476190834672198467134908618723249671349062187346898241093486139046139084613490817356023871869102746182749061872609129847 +1.1 + 0 +0 + 1.1 +457283.731284923576 + 37842934672834.3874629385672354 +1.0 + 0.1 +3746289134067138046 + 0.138375863945672398456712389456273486293 +-1 + -1 +-4 + -15 +-1346782 + -1287904651762468913476 +99999999999999999999999999999999999999999999999999999999999.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999 + 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 +99999999999999999999999999999999999989999999999999999999999.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999 + 0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 +-1889985797 + 2012747315 +0 + -14338.391079082 +-2422297 + 1.3134942556 +182039471029834 + 282039471029834 +282039471029834 + 182039471029834 +182039471029834.2801722893 + 282039471029834 +182039471029834.2801722893 + 282039471029834.2838 +182039471029834 + 282039471029834.2801722893 +182039471029834.8297282893 + 282039471029834.2801722893 +471029834 + 282039471029834 +471029834.2801722893 + 282039471029834 +471029834.2801722893 + 282039471029834.2838 +471029834 + 282039471029834.2801722893 +471029834.8297282893 + 282039471029834.2801722893 +182039471029834 + 471029834 +182039471029834.2801722893 + 471029834 +182039471029834.2801722893 + 471029834.2838 +182039471029834 + 471029834.2801722893 +182039471029834.8297282893 + 471029834.2801722893 +-182039471029834 + 282039471029834 +-182039471029834.2801722893 + 282039471029834 +-182039471029834.2801722893 + 282039471029834.2838 +-182039471029834 + 282039471029834.2801722893 +-182039471029834.8297282893 + 282039471029834.2801722893 +-471029834 + 282039471029834 +-471029834.2801722893 + 282039471029834 +-471029834.2801722893 + 282039471029834.2838 +-471029834 + 282039471029834.2801722893 +-471029834.8297282893 + 282039471029834.2801722893 +-182039471029834 + 471029834 +-182039471029834.2801722893 + 471029834 +-182039471029834.2801722893 + 471029834.2838 +-182039471029834 + 471029834.2801722893 +-182039471029834.8297282893 + 471029834.2801722893 +182039471029834 + -282039471029834 +182039471029834.2801722893 + -282039471029834 +182039471029834.2801722893 + -282039471029834.2838 +182039471029834 + -282039471029834.2801722893 +182039471029834.8297282893 + -282039471029834.2801722893 +471029834 + -282039471029834 +471029834.2801722893 + -282039471029834 +471029834.2801722893 + -282039471029834.2838 +471029834 + -282039471029834.2801722893 +471029834.8297282893 + -282039471029834.2801722893 +182039471029834 + -471029834 +182039471029834.2801722893 + -471029834 +182039471029834.2801722893 + -471029834.2838 +182039471029834 + -471029834.2801722893 +182039471029834.8297282893 + -471029834.2801722893 +-182039471029834 + -282039471029834 +-182039471029834.2801722893 + -282039471029834 +-182039471029834.2801722893 + -282039471029834.2838 +-182039471029834 + -282039471029834.2801722893 +-182039471029834.8297282893 + -282039471029834.2801722893 +-471029834 + -282039471029834 +-471029834.2801722893 + -282039471029834 +-471029834.2801722893 + -282039471029834.2838 +-471029834 + -282039471029834.2801722893 +-471029834.8297282893 + -282039471029834.2801722893 +-182039471029834 + -471029834 +-182039471029834.2801722893 + -471029834 +-182039471029834.2801722893 + -471029834.2838 +-182039471029834 + -471029834.2801722893 +-182039471029834.8297282893 + -471029834.2801722893 diff --git a/tests/fuzzing/bc_inputs1/cosine.txt b/tests/fuzzing/bc_inputs1/cosine.txt index 5c9a03cd..6e6fb0e9 120000..100644 --- a/tests/fuzzing/bc_inputs1/cosine.txt +++ b/tests/fuzzing/bc_inputs1/cosine.txt @@ -1 +1,29 @@ -../../bc/cosine.txt
\ No newline at end of file +scale = 25 +p = 4 * a(1) +scale = 20 +c(0) +c(0.5) +c(1) +c(-0.5) +c(-1) +c(p / 7) +c(-p / 7) +c(3 * p / 4) +c(3 * -p / 4) +c(p) +c(-p) +c(3 * p / 2) +c(3 * -p / 2) +c(2 * p) +c(2 * -p) +c(131231) +c(-131231) +c(859799894.3562378245) +c(4307371) +c(3522556.3323810191) +c(44961070) +c(6918619.1574479809) +c(190836996.2180244164) +c(34934) +c(2483599) +c(13720376) diff --git a/tests/fuzzing/bc_inputs1/decimal.txt b/tests/fuzzing/bc_inputs1/decimal.txt index 5c6bd327..b79da99e 100644 --- a/tests/fuzzing/bc_inputs1/decimal.txt +++ b/tests/fuzzing/bc_inputs1/decimal.txt @@ -4,14 +4,9 @@ 000000000000000000000000000135482346782356 000000000000000000000000002 1 -11 -123 -7505 1023468723275435238491972521917846 4343472432431705867392073517038270398027352709027389273920739037937960379637893607893607893670530278200795207952702873892786172916728961783907893607418973587857386079679267926737520730925372983782793652793 -1 --203 --57 -18586 -31378682943772818461924738352952347258 -823945628745673589495067238723986520375698237620834674509627345273096287563846592384526349872634895763257893467523987578690283762897568459072348758071071087813501875908127359018715023841710239872301387278 diff --git a/tests/fuzzing/bc_inputs1/divide.txt b/tests/fuzzing/bc_inputs1/divide.txt index 4d0caddc..28a7b6fd 100644 --- a/tests/fuzzing/bc_inputs1/divide.txt +++ b/tests/fuzzing/bc_inputs1/divide.txt @@ -1,28 +1,17 @@ -0 / 1 -0 / 321566 -0 / 0.3984567238456 1 / 1 1 / 1287469297356 1 / 0.2395672438567234 1 / 237586239856.0293596728392360 1249687284356 / 3027949207835207 -378617298617396719 / 35748521 -9348576237845624358 / 0.9857829375461 35768293846193284 / 2374568947.045762839567823 -78987234567812345 / 876542837618936 --356789237555535468 / 0.3375273860984786903 -5203475364850390 / 435742903748307.70869378534043296404530458 -0.37861723347576903 / 7385770896 --0.399454682043962 / 0.34824389304 -0.6920414523873204 / 356489645223.76076045304879030 -35872917389671.7573280963748 / 73924708 --78375896314.4836709876983 / 0.78356798637817 -2374123896417.143789621437581 / 347821469423789.1473856783960 -896729350238549726 / -34976289345762 --2374568293458762348596 / -0.8792370647234987679 -237584692306721845726038 / -21783910782374529637.978102738746189024761 --0.23457980123576298375682 / -1375486293874612 --0.173897061862478951264 / -0.8179327486017634987516298745 -0.9186739823576829347586 / -0.235678293458756239846 -0.9375896183746982374568 / -13784962873546.0928729395476283745 -2930754618923467.12323745862937465 / -734869238465 diff --git a/tests/fuzzing/bc_inputs1/length.txt b/tests/fuzzing/bc_inputs1/length.txt index 48f83c95..250b9693 100644 --- a/tests/fuzzing/bc_inputs1/length.txt +++ b/tests/fuzzing/bc_inputs1/length.txt @@ -1,53 +1,13 @@ length(0) length(1) -length(12) -length(123) -length(1234) -length(12345) -length(123456) -length(1234567) -length(12345678) -length(123456789) length(1234567890) length(1.0) -length(12.0) -length(123.0) -length(1234.0) -length(12345.0) -length(123456.0) -length(1234567.0) -length(12345678.0) -length(123456789.0) length(1234567890.0) length(.1) -length(.12) -length(.123) -length(.1234) -length(.12345) -length(.123456) -length(.1234567) -length(.12345678) -length(.123456789) length(.1234567890) length(.01) -length(.012) -length(.0123) -length(.01234) -length(.012345) -length(.0123456) -length(.01234567) -length(.012345678) -length(.0123456789) length(.01234567890) length(.0000000001) -length(.00000000012) -length(.000000000123) -length(.0000000001234) -length(.00000000012345) -length(.000000000123456) -length(.0000000001234567) -length(.00000000012345678) -length(.000000000123456789) length(.0000000001234567890) length(289.29837) length(2893.00000) @@ -57,3 +17,5 @@ length(.000000000000000093182394080000000000) a[0] = 0 a[5] = 0 length(a[]) +length("astnohe") +v="astoh";length(v) diff --git a/tests/fuzzing/bc_inputs2/modulus.txt b/tests/fuzzing/bc_inputs2/modulus.txt index 965600c1..049cd7db 100644 --- a/tests/fuzzing/bc_inputs2/modulus.txt +++ b/tests/fuzzing/bc_inputs2/modulus.txt @@ -1,26 +1,16 @@ 1 % 1 2 % 1 16 % 4 -15 % 4 17 % 4 -2389473 % 5 -39240687239 % 1 -346728934 % 23958 3496723859067234 % 298375462837546928347623059375486 -1 % 1 -2 % 1 --47589634875689345 % 37869235 -1274852934765 % 2387628935486273546 --6324758963 % 237854962 1 % -1 2 % -1 -2 % -2 2 % -3 16 % 5 -15 % 5 -14 % 5 89237423 % -237856923854 -123647238946 % -12467 -1 % -1 -2 % -1 -2 % -2 @@ -28,42 +18,10 @@ -13 % -7 -14 % -7 -15 % -7 --12784956 % -32746 -127849612 % -23712347682193 scale = 0 1 % 1 2 % 1 -16 % 4 -15 % 4 -17 % 4 -2389473 % 5 -39240687239 % 1 -346728934 % 23958 -3496723859067234 % 298375462837546928347623059375486 --1 % 1 --2 % 1 --47589634875689345 % 37869235 --1274852934765 % 2387628935486273546 --6324758963 % 237854962 -1 % -1 -2 % -1 -2 % -2 -2 % -3 -16 % 5 -15 % 5 -14 % 5 -89237423 % -237856923854 -123647238946 % -12467 --1 % -1 --2 % -1 --2 % -2 --2 % -3 --13 % -7 --14 % -7 --15 % -7 --12784956 % -32746 --127849612 % -23712347682193 --3191280681 % 641165986 scale = 0; -899510228 % -2448300078.40314 scale = 0; -7424863 % -207.2609738667 scale = 0; 3769798918 % 0.6 diff --git a/tests/fuzzing/bc_inputs2/multiply.txt b/tests/fuzzing/bc_inputs2/multiply.txt index f5efed91..bfc0d112 100644 --- a/tests/fuzzing/bc_inputs2/multiply.txt +++ b/tests/fuzzing/bc_inputs2/multiply.txt @@ -1,19 +1,9 @@ 0 * 0 1 * 0 -0 * 1 0 * 2498752389672835476 -873246913745129084576134 * 0 -1 * 472638590273489273456 12374861230476103672835496 * 1 1 * 1 -2 * 1 -1 * 2 -2 * 2 -3 * 14 17 * 8 -1892467513846753 * 1872439821374591038746 -328962735862.2973546835638947635 * 1728465791348762356 -38745962374538.387427384672934867234 * 0.1932476528394672837568923754 9878894576289457634856.2738627161689017387608947567654 * 37842939768237596237854203.29874372139852739126739621793162 -1 * 1 -1 * 2 @@ -22,19 +12,4 @@ -12849567821934 * 12738462937681 1274861293467.927843682937462 * -28935678239 2936077239872.12937462836 * -0.012842357682435762 -2387692387566.2378569237546 * -272189345628.123875629835876 -0.012348629356782835962 * -23487692356 -0.4768349567348675934 * -0.23756834576934857638495 -0.98748395367485962735486 * -4675839462354867.376834956738456 --321784627934586 * -235762378596 --32578623567892356 * -0.32567384579638456 --35768232346876 * -2348672935602387620.28375682349576237856 --0.2356728394765234 * -238759624356978 --0.2345768212346780 * -0.235768124697074385948943532045 --0.370873860736785306278630 * -7835678398607.7086378076867096270 --78365713707.7089637863786730 * -738580798679306780 --73867038956790490258249 * -0.7379862716391723672803679 --378621971598721837710387 * -98465373878350798.09743896037963078560 -37164201 * 2931559660 -679468076118972457796560530571.46287161642138401685 * 93762.2836 .000000000000000000000000001 * .0000000000000000000000001 diff --git a/tests/fuzzing/bc_inputs2/power.txt b/tests/fuzzing/bc_inputs2/power.txt index 5657cdd7..96a27c78 100644 --- a/tests/fuzzing/bc_inputs2/power.txt +++ b/tests/fuzzing/bc_inputs2/power.txt @@ -3,42 +3,19 @@ 0 ^ 1894 1 ^ 0 39746823 ^ 0 -0.238672983047682 ^ 0 18394762374689237468.97354862973846 ^ 0 1 ^ 1 2 ^ 1 18927361346 ^ 1 -0.23523785962738592635777 ^ 1 328956734869213746.89782398457234 ^ 1 8937 ^ 98 0.124876812394 ^ 2396 -93762.2836 ^ 13 1 ^ -1 2 ^ -1 10 ^ -1 683734768 ^ -1 -38579623756.897937568235 ^ -1 1 ^ -32467 2 ^ -53 -23897 ^ -213 --1 ^ 1 --1 ^ 2 --2 ^ 1 --2 ^ 2 --237 ^ 294 --3746 ^ 28 --0.3548 ^ 35 --4267.234 ^ 37 --326.3246 ^ 78 --1 ^ -1 --1 ^ -2 --2 ^ -1 --2 ^ -2 --237 ^ -293 --784 ^ -23 --86 ^ -7 -0.23424398 ^ -781 -178.234786 ^ -879 -1274.346 ^ -768 -0 ^ -251 --0.2959371298 ^ 227 diff --git a/tests/fuzzing/bc_inputs2/shift.txt b/tests/fuzzing/bc_inputs2/shift.txt index 0b4d07b5..26b2bfcd 100644 --- a/tests/fuzzing/bc_inputs2/shift.txt +++ b/tests/fuzzing/bc_inputs2/shift.txt @@ -1,10 +1,4 @@ 0 << 0 -1 << 0 -2 << 0 -0.0023896 << 0 -1.298346 << 0 -2.00000000 << 0 -0.0023896 << 3 1.298346 << 4 2.00000000 << 5 x = 89136.892348976 @@ -13,269 +7,36 @@ x x = 1892634051829351283289298 x <<= 24 x -0 >> 0 -1 >> 0 -2 >> 0 -0.0023896 >> 0 -1.298346 >> 0 -2.00000000 >> 0 -0.0023896 >> 3 -1.298346 >> 4 -2.00000000 >> 5 -x = 89136.892348976 -x >>= 7 -x -x = 1892634051829351283289298 -x >>= 24 -x --1 << 0 --2 << 0 --0.0023896 << 0 --1.298346 << 0 --2.00000000 << 0 --0.0023896 << 3 --1.298346 << 4 --2.00000000 << 5 -x = -89136.892348976 -x <<= 7 -x -x = -1892634051829351283289298 -x <<= 24 -x --1 >> 0 --2 >> 0 --0.0023896 >> 0 --1.298346 >> 0 --2.00000000 >> 0 --0.0023896 >> 3 --1.298346 >> 4 --2.00000000 >> 5 -x = -89136.892348976 -x >>= 7 -x --x -x = -1892634051829351283289298 -x >>= 24 -x --x (0 >> 12) / 2 10000000000 >> 0 10000000000 >> 1 -10000000000 >> 2 -10000000000 >> 3 -10000000000 >> 4 -10000000000 >> 5 -10000000000 >> 6 -10000000000 >> 7 -10000000000 >> 8 -10000000000 >> 9 -10000000000 >> 10 -10000000000 >> 11 -10000000000 >> 12 -10000000000 >> 13 -10000000000 >> 14 -10000000000 >> 15 -10000000000 >> 16 -10000000000 >> 17 -10000000000 >> 18 10000000000 >> 19 10000000000.1 >> 0 10000000000.1 >> 1 -10000000000.1 >> 2 -10000000000.1 >> 3 -10000000000.1 >> 4 -10000000000.1 >> 5 -10000000000.1 >> 6 -10000000000.1 >> 7 -10000000000.1 >> 8 -10000000000.1 >> 9 -10000000000.1 >> 10 -10000000000.1 >> 11 -10000000000.1 >> 12 -10000000000.1 >> 13 -10000000000.1 >> 14 -10000000000.1 >> 15 -10000000000.1 >> 16 -10000000000.1 >> 17 -10000000000.1 >> 18 10000000000.1 >> 19 10000000000.01 >> 0 10000000000.01 >> 1 -10000000000.01 >> 2 -10000000000.01 >> 3 -10000000000.01 >> 4 -10000000000.01 >> 5 -10000000000.01 >> 6 -10000000000.01 >> 7 -10000000000.01 >> 8 -10000000000.01 >> 9 -10000000000.01 >> 10 -10000000000.01 >> 11 -10000000000.01 >> 12 -10000000000.01 >> 13 -10000000000.01 >> 14 -10000000000.01 >> 15 -10000000000.01 >> 16 -10000000000.01 >> 17 -10000000000.01 >> 18 10000000000.01 >> 19 10000000000.001 >> 0 10000000000.001 >> 1 -10000000000.001 >> 2 -10000000000.001 >> 3 -10000000000.001 >> 4 -10000000000.001 >> 5 -10000000000.001 >> 6 -10000000000.001 >> 7 -10000000000.001 >> 8 -10000000000.001 >> 9 -10000000000.001 >> 10 -10000000000.001 >> 11 -10000000000.001 >> 12 -10000000000.001 >> 13 -10000000000.001 >> 14 -10000000000.001 >> 15 -10000000000.001 >> 16 -10000000000.001 >> 17 -10000000000.001 >> 18 10000000000.001 >> 19 10000000000.0001 >> 0 10000000000.0001 >> 1 -10000000000.0001 >> 2 -10000000000.0001 >> 3 -10000000000.0001 >> 4 -10000000000.0001 >> 5 -10000000000.0001 >> 6 -10000000000.0001 >> 7 -10000000000.0001 >> 8 -10000000000.0001 >> 9 -10000000000.0001 >> 10 -10000000000.0001 >> 11 -10000000000.0001 >> 12 -10000000000.0001 >> 13 -10000000000.0001 >> 14 -10000000000.0001 >> 15 -10000000000.0001 >> 16 -10000000000.0001 >> 17 -10000000000.0001 >> 18 -10000000000.0001 >> 19 10000000000.00001 >> 0 10000000000.00001 >> 1 -10000000000.00001 >> 2 -10000000000.00001 >> 3 -10000000000.00001 >> 4 -10000000000.00001 >> 5 -10000000000.00001 >> 6 -10000000000.00001 >> 7 -10000000000.00001 >> 8 -10000000000.00001 >> 9 -10000000000.00001 >> 10 -10000000000.00001 >> 11 -10000000000.00001 >> 12 -10000000000.00001 >> 13 -10000000000.00001 >> 14 -10000000000.00001 >> 15 -10000000000.00001 >> 16 -10000000000.00001 >> 17 -10000000000.00001 >> 18 10000000000.00001 >> 19 10000000000.000001 >> 0 10000000000.000001 >> 1 -10000000000.000001 >> 2 -10000000000.000001 >> 3 -10000000000.000001 >> 4 -10000000000.000001 >> 5 -10000000000.000001 >> 6 -10000000000.000001 >> 7 -10000000000.000001 >> 8 -10000000000.000001 >> 9 -10000000000.000001 >> 10 -10000000000.000001 >> 11 -10000000000.000001 >> 12 -10000000000.000001 >> 13 -10000000000.000001 >> 14 -10000000000.000001 >> 15 -10000000000.000001 >> 16 -10000000000.000001 >> 17 -10000000000.000001 >> 18 10000000000.000001 >> 19 10000000000.0000001 >> 0 10000000000.0000001 >> 1 -10000000000.0000001 >> 2 -10000000000.0000001 >> 3 -10000000000.0000001 >> 4 -10000000000.0000001 >> 5 -10000000000.0000001 >> 6 -10000000000.0000001 >> 7 -10000000000.0000001 >> 8 -10000000000.0000001 >> 9 -10000000000.0000001 >> 10 -10000000000.0000001 >> 11 -10000000000.0000001 >> 12 -10000000000.0000001 >> 13 -10000000000.0000001 >> 14 -10000000000.0000001 >> 15 -10000000000.0000001 >> 16 -10000000000.0000001 >> 17 -10000000000.0000001 >> 18 10000000000.0000001 >> 19 10000000000.00000001 >> 0 10000000000.00000001 >> 1 -10000000000.00000001 >> 2 -10000000000.00000001 >> 3 -10000000000.00000001 >> 4 -10000000000.00000001 >> 5 -10000000000.00000001 >> 6 -10000000000.00000001 >> 7 -10000000000.00000001 >> 8 -10000000000.00000001 >> 9 -10000000000.00000001 >> 10 -10000000000.00000001 >> 11 -10000000000.00000001 >> 12 -10000000000.00000001 >> 13 -10000000000.00000001 >> 14 -10000000000.00000001 >> 15 -10000000000.00000001 >> 16 -10000000000.00000001 >> 17 -10000000000.00000001 >> 18 10000000000.00000001 >> 19 10000000000.000000001 >> 0 10000000000.000000001 >> 1 -10000000000.000000001 >> 2 -10000000000.000000001 >> 3 -10000000000.000000001 >> 4 -10000000000.000000001 >> 5 -10000000000.000000001 >> 6 -10000000000.000000001 >> 7 -10000000000.000000001 >> 8 -10000000000.000000001 >> 9 -10000000000.000000001 >> 10 -10000000000.000000001 >> 11 -10000000000.000000001 >> 12 -10000000000.000000001 >> 13 -10000000000.000000001 >> 14 -10000000000.000000001 >> 15 -10000000000.000000001 >> 16 -10000000000.000000001 >> 17 -10000000000.000000001 >> 18 10000000000.000000001 >> 19 10000000000.0000000001 >> 0 10000000000.0000000001 >> 1 -10000000000.0000000001 >> 2 -10000000000.0000000001 >> 3 -10000000000.0000000001 >> 4 -10000000000.0000000001 >> 5 -10000000000.0000000001 >> 6 -10000000000.0000000001 >> 7 -10000000000.0000000001 >> 8 -10000000000.0000000001 >> 9 -10000000000.0000000001 >> 10 -10000000000.0000000001 >> 11 -10000000000.0000000001 >> 12 -10000000000.0000000001 >> 13 -10000000000.0000000001 >> 14 -10000000000.0000000001 >> 15 -10000000000.0000000001 >> 16 -10000000000.0000000001 >> 17 -10000000000.0000000001 >> 18 10000000000.0000000001 >> 19 diff --git a/tests/fuzzing/bc_inputs2/sine.txt b/tests/fuzzing/bc_inputs2/sine.txt index 89c94101..0b38df7e 120000..100644 --- a/tests/fuzzing/bc_inputs2/sine.txt +++ b/tests/fuzzing/bc_inputs2/sine.txt @@ -1 +1,42 @@ -../../bc/sine.txt
\ No newline at end of file +scale = 25 +p = 4 * a(1) +scale = 20 +s(0) +s(0.5) +s(1) +s(-0.5) +s(-1) +s(p / 7) +s(-p / 7) +s(3 * p / 4) +s(3 * -p / 4) +s(p) +s(-p) +s(3 * p / 2) +s(3 * -p / 2) +s(2 * p) +s(2 * -p) +s(131231) +s(-131231) +s(69.1967507777) +s(10828) +s(-16248506.847013148) +s(2050281000) +s(8224939) +s(11334231.1154662464) +s(-4109411249.2986954846) +s(-2395915402.13984) +s(-2795874313) +s(-2262647256) +s(3323158182.1239222084) +s(99901384) +s(-4202726050.2780080957) +s(2870000621.3228830588) +s(-4230239450.981045150) +s(-1517506941.2678857223) +s(4004582176) +s(-4193724543.1108508063) +s(-3432511261) +s(1804484812) +s(3229084127) +s(-3565317246.583937244) diff --git a/tests/fuzzing/bc_inputs3/01.txt b/tests/fuzzing/bc_inputs3/01.txt index c016263a..0bfc76b2 100644 --- a/tests/fuzzing/bc_inputs3/01.txt +++ b/tests/fuzzing/bc_inputs3/01.txt @@ -9,219 +9,6 @@ c a s(scal[ ba]) scal[ ca] -u -a -e -cs -c - -a -s(scal[ ba]) -scal[ ca] -u -a -s -c = l[ ca] -a -a -sa -e -cs -c - -a(s001020001l[ ba]) -scal[ ca] -a -a -e -cs -c - -a -s(scal[ ba]) -scal[ ca] -a -a -s -c = l[ ca] -a -s -c = l[ ca] -a(s001020001l[ ba]) -a -e -cs -c - -a -s(scal[ ba]) -scal[ ca] -u -a -s -c = l[ ca] -a -a -sa -e -cs -c - -a(s001020001l[ ba]) -scal[ ca] -a -a*e -cs -c - -a -s(scal[ ba]) -scal[ ca] -a -a -s -c = l[ ca] -a -a -sa -e -css -c = c[ ca] -a -a -sa -e -cs -a -a -sa -e -cs -c - -a(s001020001l[ ba]) - cs -c = l[ ca] -a -a -sa -e -cs -c - -a(s001020001l[ ba]) -scal[ ca] -a -a -e -cs -c - -a -s(scal[ ba]) -scal[ ca] -a -a -s -c = l[ ca] -a -a -sa -e -css -c = l[ ca] -a -a -sa -e -cs -a -b -sa -e -cs -c - -a(s001020001l[ ba]) -scal[ ca] -a -a -e -cs - -scal[ ca] -a -a -e -cs -c - -a -s(scal[ ba]) -scal[ ca] -u -a -s -c = l[ ca] -a -a -sa -e -cs -c - -a(s001020001l[ ba]) -scal[ ca] -a -a -e -cs -c - -a -s(scal[ ba]) -scal[ ca] -a -a -s -c = l[ ca] -a -a -sa -e -css -c = l[ ca] -a -a -sa -e -cs -a -a -sa -e -cs -c - -a(s001020001l[ ba]) -sc0 -c = l[ ca] -a -a -sa -e -cs -c - -a(s001020001l[ ba]) -scal[ ca] -a -a -e -cs -c - -a s(scal[ ba]) s(1) sd= 20 @@ -254,86 +41,3 @@ sc= 20 a(0) a=i-=se-=ase-=se-=ase-=i-=se-=xse!=e-=ase-=i-=se-=ase-=se-=se-=ase-=se-=as-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) scscale ==se-=a(1) -sd= 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=as=ase = 20 -a(0) -a=i-=se-=ase-=se-=ase-=s-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=a0=as-=ase-=se-=se0=ase-=se-=as-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=a0=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=se-=xse!=e-=ase-=i-=se-=ase-=se-=se-=ase-=se-=as*=e-=as=aaaaaaaaaaaaaaaaaaaaaaa^aaaaaaaaaaaaaaa20 -a(0) -a=i-=se-=ase-=se-=as0-=i-=s-=se-=xse!=e-=as=ase-=se-=as-=as0-=se-=as-=se-=axse!=e-=ase-=i-=se-=as0-=se-=se-=ase-=se-=as-=e-=as=ase-=se-=a0-=a0=i-=se-=as0-=se-=se-=ase-=se-=as-=e-=as=as0-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==ss0-=ase-=s-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=as=as-=ase-=se-=se0=ase-=se-=as-=e-=as=a000=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=as0-=se-=as0-=i-=s-=se-=xse!=e-=a0=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=se-=xse!=e-=ase-=i-=se-=ase-=se-=se-=ase-=se-=a0-=e-=as=aaaaaaaaaaaaaaaaaaaaaaa^aaaaaaaaaaaaaaa20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=as=ase-=se-=as-=ase-=se-=as-=se-=axse!=e-=ase-=i-=se-=as0-=se-=se-=ase-=se-=as-=e-=as=as0-=se-=as-=as=i-=se-=ase-=se-=se-=ase-=se-=as-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=as0-=se-=ase-=i-=s-=se-=xse!=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=as0-=as-=as0-=se-=as-=as0 -a(0) -a=i-=se-=as0-=se-=as0-=i-=s-=se-=xse!=e-=as=as0-=se-=as-=ase-=se-=as-=se-=a(1) -scale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=as0-=se-=ase-=i-=se-=xse!=e-=ase-=i-=se-=as0-=se-=se-=as0-=a0a^aaaaaaaaaaaaaaa20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=as=ase-=se-=as-=ase-=se-=as-=se-=axse!=e-=ase-=i-=se-=ase-=se-=se-=ase-=se-=a0-=e-=as=ase-=se-=as-=as=i-=se-=ase-=se-=se-=ase-=se-=as-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscales=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -sd= 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -de ==se-=a(1) -scale = 20 -a(0) -a==se-=as-=ase-=se0=as-=se-=a(1) -s ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=se-=xse!=e-=ase-=i-=se-=ase-=se-=se-=ase-=se-=as-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=as=as-=ase-=se-=se0=ase-=se-=as-=e-=as=ae-=a(1) -sc= 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=se-=xse!=e-=ase-=i-=se-=ase-=se-=se-=ase-=se-=as-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -sd= 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=e-=as=ase = 20 -a(0) -a0i-=se-=ase-=se-=ase-=s-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) -scscale ==se-=a(1) -scale = 20 -a(0) -a=i-=se-=ase-=se-=ase-=i-=s-=se-=xse!=c-=a0=as-se-=se-=se0=ase-=se-=as-=e-=as=ase-=se-=as-=ase-=se-=as-=se-=a(1) diff --git a/tests/fuzzing/bc_inputs3/03.txt b/tests/fuzzing/bc_inputs3/03.txt index d0fc5056..00e645ce 100644 --- a/tests/fuzzing/bc_inputs3/03.txt +++ b/tests/fuzzing/bc_inputs3/03.txt @@ -1,2 +1,2 @@ for (i = 0; ; ) -for (i = 0; ;(ssqrt()-p(srt(0-s(t(0-p(sstss(ssqrt()-p(ssssq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s()-p(sq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s(ssqrt()-p(t()-p(sstp(ssqrt()-sst()-p(qrt()-p(s()-p(srt()-s(ssqrt()-v(qrt(ssqrt()-p(ssqrt()-s(ssqrt()-p(ssssq(ssqrt()-p(ssq(ssqrt()-p(t()-sst(prt()-s(ssqrt()-p(q(ssqrt()-p(ssqrt()-sst()-ssqrt()-t(ss(s()-p(srt()-s(ssqrt()-p(s(ssqrtt()-p(ssqrt()-sst()-p(qrt()-p(s()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(qr (itt()-p(q(s(ssqrt()-t(ss(ssqrt()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(sstsq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(sstsq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s(ssqrt()-p(t()-p(sstp(ssqrt()-sst()-p(qrt()-p(s()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(qr (itt()-p(q(s(ssqrt()-t(ss(ssqrt()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(sstsq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s()-p(srt()-s(ssqrt()-p(sstss(osqrt()-p(sstsq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s(ssqrt()-p(ssqrt()-sstfor (itt()-p(q(s(ssqrt()-t(ss(ssqrt()-p(srt()-s(ssqrt()-p(sstss(sssq(ssqrt()-p(ssqrt()-sst()-prt()-s(ssqrt()-p(q(ssqrt()-ssqrt(qrt()-p(s()-p(srt(s(ssqrt()-p(q(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s(ssqrt()-p(ssqrt()-sst()-p(ssqrt()-ssq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s-t()-s(ssurt()-p(sstss(ssqrt()-p(qr (itt()-p(q(s(ssqrt()-t(ss(ssqrt()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(sstsq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s()-p(srt()-s(ssqrt()-p(sstss(osqrt()-p(sstsq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s(ssqrt()-p(ssqrt()-sstfor (itt()-p(q(s(ssqrt()-t(ss(ssqrt()-p(srt()-s(ssqrt()-p(sstss(sssq(ssqrt()-p(ssqrt()-sst()-prt()-s(ssqrt()-p(q(ssqrt()-ssqrt(qrt()-p(s()-p(srt(s(ssqrt()-p(q(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s(ssqrt()-p(ssqrt()-sst()-p(ssqrt()-ssq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s-p(ssqrt()-sst()-p(qrt()-p(s(st()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(ssssq(ssqrt()-p(ssqrt()-sst()-p(qrt()-p(s()-p(srt()-s(ssqrt()-p(sstss(ssqrt()-p(ssssq(ssqrt()-p(ssqrt()-sst()-p(qrtrrrrr()-p(s(ssqrt()-p(ssqrt()-sst()-p(ssqrt(qrt(ssqrt()-p(ssqrt()-s(ssqrt()-p(ssssq(ssqrt()-p(ssq(ssqrt()-p(ssqrt()-sst()-prt()-s(ssqrt()-p(q(ssqrt()-p(ssqrt()-sst()-ssqrt()-t(ss(s()-p(srt()-s(ssqrt()-p(s(ssqrtt()-p()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000#000 +for (i = 0; ;(p(s(ssqrtt()-p())))000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000#000 diff --git a/tests/fuzzing/bc_inputs3/23.txt b/tests/fuzzing/bc_inputs3/23.txt Binary files differindex 15045f27..d711d0ac 100644 --- a/tests/fuzzing/bc_inputs3/23.txt +++ b/tests/fuzzing/bc_inputs3/23.txt |