[Retros] example of popeye a=>b please

[Joost de Heer]

On 12/05/2012 05:58 PM, Andrew Buchanan wrote:

> Hi retro friends,

>

> Would someone be so kind as to give me a valid input file for Popeye to verify

> a=>b proof game, please.

>

> I want to try verifying something, but can’t figure out the syntax.


begin
fors beginposition
stip a=>bX
fors endposition
end

Popeye seems to want to start as black always, and I haven't found a way to fix 
that ('option halfduplex' seems to be ignored), so if you have an atob problem 
that starts with white to move, mirror and flip colours, and everything should 
work fine.

To solve 1. a4 a6 2. a5 as an atob-problem:

begin
fors rsbqkbsr/pppppppp/8/8/8/8/PPPPPPPP/RSBQKBSR
stip a=>b1.5
fors rsbqkbsr/1ppppppp/8/8/p7/P7/1PPPPPPP/RSBQKBSR
end

Joost