Out of bounds for cartesian product
Description
Environment
None
Activity
Show:

Michael Leuschel October 30, 2020 at 3:33 PM
This query works:
Details
Details
Assignee

Reporter

Priority
Created October 30, 2020 at 3:33 PM
Updated October 30, 2020 at 3:33 PM
For the following query I get:
>>> :kodkod A = {1,2} & avl = {1|>2, 1|>3, 2|>2, 2|>3, 4|->2} & avl = A*B
rule(cart_div(irange(0,inf),irange(2,2)),[irange(_105301,_105303)])
rule_result(cart_div(irange(0,inf),irange(2,2)),[irange(0,inf)])
rule(cart_div(irange(5,5),irange(0,inf)),[irange(_107111,_107113)])
rule_result(cart_div(irange(5,5),irange(0,inf)),[irange(1,5)])
rule(cart_div(irange(5,5),irange(2,2)),[irange(_107861,_107863)])
rule_result(cart_div(irange(5,5),irange(2,2)),[irange(2,3)])
rule(cart_div(irange(5,5),irange(2,3)),[irange(_108817,_108819)])
rule_result(cart_div(irange(5,5),irange(2,3)),[irange(1,3)])
kodkod ok: A = {1,2} & avl = {(1|>2),(1|>3),(2|>2),(2|>3)... ints: irange(1,3), intatoms: irange(1,3)
Kodkod module started up successfully (SAT solver SAT4J with timeout of 1500 ms).
java.lang.IllegalArgumentException: integer out of bounds
at de.stups.probkodkod.types.IntsetType.encodeElement(IntsetType.java:43)