The following adjudication error was discovered on the DPJudge. It is also an error in jDip.
Consider:
RUSSIA
A GRE S A CON - BUL
A BUL - CON
A ANK S A BUL - CON
TURKEY
A CON - BUL
jDip resolves this with the following messages:
Adjudicator: applying Syzkman rule to resolve paradoxical convoy adjudication.
Adjudicator: could not break paradox: attempt #13
No retreating units; retreat phase skipped.
Russia: A ank Supports A bul -> con
Russia: A bul -> con
Russia: A gre Supports A con -> bul
Turkey:
Turkey: A con -> bul
Bounced with bul (1 against 1).
Both Con-Bul and Bul-Con should have bounced.
Even if Bul-Con suceeds, Con should have had a retreat to Smy.
There is no convoy paradox to resolve.
Minimal file attached.