in tmp.essence, then running conjure streamlining tmp.essence yields four streamliners, the last two of which are x < 1 + (10 - 1) / 2 and x > 1 + (10 - 1) / 2. In this case these evaluate to x < 5 and x > 5. In other words, this is equivalent to splitting int(1..10) into int(1..4) and int(6..10), but 5 is not dealt with.
I believe the correct pair of streamliners in this case would be x < 1 + (10 - 1)/2 and x >= 1 + (10 - 1)/2, changing one of the strict inequalities to a non-strict inequality to ensure a partition.
Using the trivial spec
in
tmp.essence, then runningconjure streamlining tmp.essenceyields four streamliners, the last two of which arex < 1 + (10 - 1) / 2andx > 1 + (10 - 1) / 2. In this case these evaluate tox < 5andx > 5. In other words, this is equivalent to splittingint(1..10)intoint(1..4)andint(6..10), but 5 is not dealt with.I believe the correct pair of streamliners in this case would be
x < 1 + (10 - 1)/2andx >= 1 + (10 - 1)/2, changing one of the strict inequalities to a non-strict inequality to ensure a partition.