what(): Variable index out of bounds. - with 510 variables and clauses about bosphorus

[ErwinHaasnoot]

FYI: I am running Bosphorus from the docker container built on the latest commit that you so kindly made after my previous bug report: dd9654a

[msoos]

Ah, you have a bug in your ANF. I will think about how to warn about this. Your line is:

x(372) * x(27) + x(373) * x(23) + x(374) * x(20) + x(28) * x(30) + x(15) + x(375) * x(28) + x(20) + x(21) + x(23) + x(24) + x(25) + x(28) + x(29) + x(31) + x(376) * x(19) + x(377) * x(374) + x(378) * x(379) + x(375) * x(30) + x(380) * x(22) + x(376) * x(381) + x(379) * x(14) + x(382) * x(22) + x(377) * x(20) + x(372) * x(383) + x(384) * x(385) + x(382) * x(380) + x(386) * x(23) + x(373) * x(386) + x(378) * x(14) + x(24) * x(384) + x(27) * x(383) + x(381) * x(19) + x(24) * x(385)x(34) + x(3) + x(1)

Spot the error :D The issue is x(24) * x(385)x(34), you are missing a * between the two x-s. I'll try to catch this kind of thing next time :)

Mate

[ErwinHaasnoot]

Oh! I'm sorry, I should've caught that. I was thrown off by the error. It successfully worked when I limited the output. Programming is tricky sometimes.

…

On Sun, May 3, 2020, 4:30 PM Mate Soos ***@***.***> wrote: Closed #17 <#17>. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#17 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAKTFVKYCAKIVT5SYMJJJ53RPV5YFANCNFSM4MX4IXHA> .