When running conjure parameter-generator bacp.essence, there's an issue with the generated repair spec for instance generation. The error was caused by line 46 and 47 in the generated bacp-instanceRepair.essence spec.
Current lines 46 and 47:
such that
and([repaired_prerequisite_relation1_min <= repaired_prerequisite_relation1_max | q1 <- repaired_prerequisite]),
and([repaired_prerequisite_relation2_min <= repaired_prerequisite_relation2_max | q1 <- repaired_prerequisite])
The fix would be:
such that
repaired_prerequisite_relation1_min <= repaired_prerequisite_relation1_max,
repaired_prerequisite_relation2_min <= repaired_prerequisite_relation2_max
Hi Oz,
When running
conjure parameter-generator bacp.essence, there's an issue with the generated repair spec for instance generation. The error was caused by line 46 and 47 in the generatedbacp-instanceRepair.essencespec.Current lines 46 and 47:
The fix would be:
Could you please help to have a look at it?
Thank you! bacp.essence.txt bacp-instanceRepair.essence.txt
Nguyen