The signature of generate_from_array is missing parameters exude_time_limit and exude_sliver_bound from the list of input.
This causes an error when calling generate_from_inr from inside generate_from_array since arguments are called positionally and not by keyword.
PR #204 addresses this issue.
The signature of
generate_from_arrayis missing parametersexude_time_limitandexude_sliver_boundfrom the list of input.This causes an error when calling
generate_from_inrfrom insidegenerate_from_arraysince arguments are called positionally and not by keyword.PR #204 addresses this issue.