Reduce the number of test cases for AFL++

Signed-off-by: Gavin Howard <gavin@yzena.com>

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
index 15045f27..d711d0ac 100644
--- a/tests/fuzzing/bc_inputs3/23.txt
+++ b/tests/fuzzing/bc_inputs3/23.txt