> TestRegle

toto<@decaservices.com.>

<@nono.fr.>

TestRegle input: toto < @ decaservices . com . >

-----trying rule: $* < @ $+ . REDIRECT . >

----- rule fails

-----trying rule: $* < @ $+ . REDIRECT . > < i >

----- rule fails

-----trying rule: $* < @ $+ . REDIRECT . > < $- >

----- rule fails -----trying rule: $+ < @ $=m . >

-----rule matches: $: $1 < @ $2 > rewritten as: toto < @ decaservices . com >

-----trying rule: $+ < @ $=m >

-----rule matches: $: $( virtuser $1 @ $2 $: $1 . INVALIDUSER $) < ? > rewritten as: toto . INVALIDUSER < ? >

-----trying rule: $+ . INVALIDUSER < ? >

-----rule matches: $# error $@ 5 . 7 . 1 $: Utilisateur inconnu toto

TestRegle returns: $# error $@ 5 . 7 . 1 $: Utilisateur inconnu toto