Skip to content

fuzz: minimized corpus for main #880

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
adityamukho merged 1 commit into from
Nov 10, 2026
Merged

fuzz: minimized corpus for main #880

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
1 change: 0 additions & 1 deletion fuzz/corpus/btree_page/a2dfa9429bf2a04d8f23fe980209bd5315f80523
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions fuzz/corpus/btree_page/a979ef10cc6f6a36df6b8a323307ee3bb2e2db9c
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
+
1 change: 0 additions & 1 deletion fuzz/corpus/btree_page/bb589d0621e5472f470fa3425a234c74b1e202e8
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/000ac7eda5ad7c687dd7f9d0ec3ecf40ee8d16e4
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [::::::::::::::::::::::::::::::::[(:d= ?n)]])
1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/000ac8de89327f9093bd7d1c069f66b06afe661f
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [:fnd:where [?e ??n ?n][:?0744000e ??ain ?n][:?0744073709551615e ?kemEnod-join ?n][__f?00000000000098e ??sua-joiEneFFFunqnjFqfn ?c] [?e ??-lynEEEEEEdEEqfn ?g] [?E ?lfalseynnufn ?c] [?e :__magic_qunqnjoqqqq??lynnue6666600000000011406509395579415211FEEqfn ?nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnc] [?_?e ?lEEneFFFunqnjFqfn ?c] [?e ??lynEEEEEEEEEEdfn ?g] [?E ?lfalseynnufn ?c] [?e :__magic_qunqnjoqqqq??lynnuen ?n][?00000e ??iin ?n][:? me ?n][:?00m9999e073709551615e ??amEnot-join ?n][__00m9998e ??sua-join ?n][?00000e ??ain ?n][:? me ?n][:000e ??aidfn ?g] [?E ?lfalseynnufn ?c] [?e :__magic_qunqnjoqqqq??lynnuen ?n][?00000e ??ain ?n][:? me ?n][:?00m9999e073709551615e ??amEnot-join ?n][__00m9998e ??sua-join ?n][?00000e ??ain ?n][:? me ?n][:000e ??ain ?n][:?00m9998e ??sua-join ?n][?00000e ??ain ?n][:? me ?n][:?00m9999e073709551615e ??amEnot-join ?n][__f?000 ??suame ?navh]])
1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/0010cc4b3810fba41fdaaed8b6df1f5866ceeda7
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [:where(not[not?e 3e]()?)])
1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/00259bd2529116c024fba9f19674070885833c39
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [:fnd:where [?e ??amEn ?nqu---1][?073709551615e ??amEnot-join ?n][?0000000000000000e ??an ?n][:?00m9999e uame ?n][:?20m9999e ??suame ?navg]])
1 change: 0 additions & 1 deletion fuzz/corpus/datalog_eval/00293204e6f54deac7ee25b198c4c0b90754d979
View file
Open in desktop

This file was deleted.

1 change: 0 additions & 1 deletion fuzz/corpus/datalog_eval/002d4cc0f0af4d17d4e5dba3795e06ec34727afa
View file
Open in desktop

This file was deleted.

3 changes: 0 additions & 3 deletions fuzz/corpus/datalog_eval/0033b03ecf2e562ed7c90405884365e2abf6dcbc
View file
Open in desktop

This file was deleted.

1 change: 0 additions & 1 deletion fuzz/corpus/datalog_eval/00421744496bf9fe46eb38fe34b62ecd1ea14b92
View file
Open in desktop

This file was deleted.

1 change: 0 additions & 1 deletion fuzz/corpus/datalog_eval/00582a1fb5ab2b32db4fd10a619cbae67981e359
View file
Open in desktop

This file was deleted.

1 change: 0 additions & 1 deletion fuzz/corpus/datalog_eval/007780f13a739f79c50033760b000dd2f6c4a74e
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/0082a10e7d76a25fa486f349b38e5571171f745b
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
--7-=-77777-777777777777777n7777777777777777-777777777777777nil?i777777777-7-=:w7777-777777777777777nil?i777777777-7-=-7777777777nil?i=-777777777777777nil?3=-77777777777777777-7=--7773=-777777777777777nil?3=77-7-=-7777777777nil?i=-777777777777777nil?i777777777-7hee-7777777777nil?i=-777777777777777nil?3=/77777777-7-=-77777777(77377777.Ae?((77377776.(77-7777777.:T77nilnil?3=-77777777777777777-7-=-77738y8(88nil77777777777777-7-=-77738y8(88nil?i=-777777777777777nil?3=77-7-=-7777777777nil?i=-777777777777777nil?i777777777-7hee-7777777777nil?i=-777777777777777nil?3=-77777777777777777-7-=-77738y8(88nil?i=-777777777777777nil?3=7777nil?3=-77777777777777777-7-=-77738y8(88nil?i=-777777777777777nil?3=77-7-=-7777777777nil?i=-777777777777777nil?i777777777-7hee-7777777777nil?i=-777777777777777nil?3=-77777777-7-=-7777777777nil?i=-777777777777777nil?3=-77777777777777777-7-=-77738y8(88nil?i=-77-777777777777777nil?i77777777777777778
1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/009b77a1b66293b6813a8ef9a87ef0eef429eae8
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [:find ?nzYYYYYYYYYYYYYYYYYseYind ?eOOOojto-IIIIIIIIIIIIIIIIIIfind ?eOOOojt ?eOOOIOOIIIIIIIIfind ?eOOOojtoIfind ?eOOOojto-ojAIICn ?eOOOojtoIfind ?eOOOojto-ojAIICnd ?eOOOojt ?eOOOIOOIIIIIIIIfind ?eOOOojtoIfind ?eOOOoj-ItoIIIIIIIIIIIIIIIIfind ?ojtMYYYYYYYYfalseYind ?e ?e-IIId ?eOOMojtMojto-IIIIICIIIIIIIIIIIIIfind ?eY:where [?e ??cme ?n]])
1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/00a78dba02c4cf492647658fc4da861a0ad41589
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [:find ?n:ffalsenzYQYRY:where [?e ?join ?n][?e ?-join ?n][?e ?amenot-join ?n][??e ?amenotin ?n][?e ?aleenot-jAokn ?n][?e ?amenot-join ?n][?a ?aot-oin ?n][?e ?aot-join ?n][?e ?amenot-join ?n][?e ? ?n][?a ?ao ?n][?e ?aleenot-jAokn ?n][?e ?amenotin ?n][?e ?aleenot-jAokn ?n][?e ?amenot-join ?n][?a ?alejuin ?n][?e ?-join ?n][?a ?aot-oin ?n][?e ?aot-join ?n][?e ?amenotn ?n][?e ?ale ?nsU]])
1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/00a920e2cac0ed697c88aeeafcb6a950ddaeebca
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [:clo:where [?e:name ?n] [(>= ?n"Aclie")?l]])
2 changes: 2 additions & 0 deletions fuzz/corpus/datalog_eval/00b5627871808065abd5f5038210bb035a01ef9f
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
(query [:fi :where [?e :cro ?c] (n***(*m********ry "Alce"se)**
*)])
1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/00cad96fbb558723dd8715bbd5083bc3c3f4b829
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(({{{{{{{{{{{{{{{{{{w{{{{{{(query [:f _fi,{:q:Gi,{:q:G2:, qe ({t:-k,****************}**************{:q{{{{{{{{{{{{{:G2}:, qb tru:nameemei,{:q:G2:,, qb tru:nameemei,{:q:G2:, qe ({t:-i,********************}**************{:q:G2}:, qe tru:nameemei{{{{{{{{{{,{:q:G2:, qe ({t:-i,************{:q:G0}:, qe ({t:-k,****************}**************{:q:G2}:, qe tru:nameemei,{:q:G2:, qe ({t:-i,****************}**************{:q:G0}:, qe tr, qe tru:name**}**************{:q:G2}:, qe tru:nameemei,{oq:G2:, qe ({t:-i,****************}**************{:q:G0}:, qe tr, qe tru:naine ({t:-k,**************:q:G2}:, qe tru:nameemei,{:q:G2:*****{:q:G0}:, qe tr, qe tru:naine ({t:-k,**************:q:G2}:, qe tru:nameemei,{:q:G2:, qe ({t:-i,****************}**************{:q:G0}:ameem}:, qe tru:nameemei{{*****{:q:G2}:, qe tru:nameemei{{{{{{{{{{,{:q:G2:, qe ({t:-i,****k,****************}**************{:q:G2}:, qe tru:nameemei,{:q:G2:{:q:G0}:, qe tr, qe tru:name**}**************{:q:G2}:, qe tru:nameemei,{:q:q:G2}:, qe tru:nameemameemei,{:q:G2:, qe ({t:-i,****************}**************{:q:G0}:, qe tr, qe tru:name**}**************{:q:G2}:*********}**************{:q:G0}:, qe tr, qei,{:q:G2:, q************{:q:G08}:, qe ({t:-k,****************}*******?_*******{:q:G2}:, qe tru:nameemei,{:q:G2:, qe ({t2:***}**************{:q:G2}:, qe tru:nameemei{{{{{{{{{{,{:q:G2:,ei,{:q:G2:, qe ({t:-i,****************}**************{:q:G0}:, qe ({t:-k,****************}**********dsumm :where [<= l om***************:q:G2}:, qe tru:nameemei,{:q:G2:*****{:q:G0}:, qe tr,ve tree{{])]){{
1 change: 0 additions & 1 deletion fuzz/corpus/datalog_eval/00d547b6cdfe48af9ebfb02e6507d485838813be
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions fuzz/corpus/datalog_eval/00e1f7da2f04311d8987638d8f7941ed0d9b39f1
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(query [:findsu :where [?o l omZaa?rsuc] (not-joma [?e] [?e active treewwwwww2wwww]) :where [?e l omaaa?rsuc] (not-join [?e] [?e :activt ereJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJreewwwwwwwwwww]) :where [l e? omaaa?rsuc] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJww]) :where [?e l omaac] (not-joi?[ ne] [?e :activte reJreewwwwwwwwwww]) :where [?e l omaaa?rsuc] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJe]) (not-join [?e] [?e :active treeJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJreewwwwwwwwwww]) :where [?e l omaaa?rsuc] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJreewwwwwwwwwww]) :where [?e l omaaa?rsuc] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :actcvte reJJJeJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJe]) (not-join [?e] [?e :active treeJJJJJJJJJJJJJJJJJJJwww]) :where [?e l omaaa?rsuc] (not-join [?e] [?e :activt ereJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJreewwwwwwwwwww]) :where [?e l omaaa?rsuc] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJJJJJJJJJMJJJJJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :EEEEEqfn ?c] [:??e ?lysnufn ?c] [?e ?lu?lynnueFFnnueFEEEEEEEEEEEqfn ?c] [?_?e ?lEEneFFFunqnjFmaxqfn ?c] [?e ?lynEEE ?nnnnnnnnnnnnnnnnnnnnntnnnnnnnnnnnnnnnnnnjnnnnnc] [?_?e ?lEEneFFFunqnjFqfn ?c] [?e ??lynEEEEEEEEEEdEEqfn ?g] [?e ?lynnufn ?c] [?e ?lynnueFF-nnyneFFFFqfn ?k] [?e ?lynEEEEdEEqfn ?g] [?E ?lynnufn ?c] [?e ?lynnueVFn2nyneFFFfq ?kfn] [?e ?lynEEEE6666?66666600000000011406509395579415211FEEEEEeEEEEEqfn ?nnnnnJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJreewwwwwwwwwww]) :where [?e l omaaa?rsuc] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :actcvte reJJBeJJJJJJwwwwwwww]) :where [?e l omaac] (not-join [?e] [?e :activte reJJJJJJJJJJJJJJJe]) (not-join [?e] [?e :active tree])])
Binary file added fuzz/corpus/datalog_eval/00fbaccc2e6ac4a8ccee62fddab879cedf2befee
View file
Open in desktop
Binary file not shown.
Binary file added fuzz/corpus/datalog_eval/00ff3dd7f2b7ca3dad656f76be38fe27ef27c6c7
View file
Open in desktop
Binary file not shown.
18 changes: 18 additions & 0 deletions fuzz/corpus/datalog_eval/01020613ab69466039c9500e832bb63725fc8afd
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
(query [:fio:where(query [:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-[:j?oi act:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-jojoi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[? :act:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :active tree]) :where [?e l omaaa?rsuc] (
oojt-nin [e :active tree]) :where [?e l o1aaa?rsuc] (
oojt-jin [?e] [?:c eative treive tree]) :where [?e l omaaa?rsuc] (
oojt-nini[?n e] [?e :active tree]) :where [?e l omaaa?rsuc] (
oojt-nin [e :active tree]) :where [?e l o1aaa?rsuc] (
oojt-jin [?e] [?:c eative treive tree]) :where [?e l omaaa?rsuc] (
oojt-nin [e :active tre]e) :where [?e l omaaa?rsuc] (
oojt[?e] [?:c e:where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (t-jin [?e] [?:c eaative]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-[:j?oi act:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-jojoi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[? :act:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :active tree]) :where [?e l omaaa?rsuc] (
oojt-nin [e :active tree]) :where [?e l o0aaa?rsuc] (
oojt-jin [?e] [?:c eative treive tree]) :where [?e l omaaa?rsuc] (
oojt-nini[?n e] [?e :active tree]) :where [?e l :caaa?rsuc] (
oojt-nin [e :active tree]) :where [?e l o1aaa?rsuc] (
oojt-jin [?e] [?:c eative treive tree]) :where [?e l omaaa?rsuc:fio:where(query [:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-[:j?oi act:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-jojoi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[? :act:findsu :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :active tree]) :where [?e l omaaa?rsuc] (
oojt-nin [e :active tree]) :where [?e l o1aaa?rsuc] (
oojt-jin [?e] [?:c eative treive tree]) :where [?e l omaaa?rsuc] (
oojt-nini[?n e] [?e :active tree]) :where [] (
oojt-nin [e :active tre]e) :where [?e l omaaa?rsuc] (
oojt[?e] [?:c e:where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?e :where [?eA ma olaa?rsuc] []]) (not-joi[?n e] [?here [?eA ma olaa?rsuc] []]) (t-jin [?e] [?:c tree])])
3 changes: 0 additions & 3 deletions fuzz/corpus/datalog_eval/01109434ff82275f62f17307a950bff8b5840079
View file
Open in desktop

This file was deleted.

Loading
Loading