On 2006-06-21, SIGOURE Benoit sigoure.benoit@lrde.epita.fr wrote:

• tests/xrm/rivf.xrm: Fix.

tests/xrm/rivf.xrm | 2 +-

Index: tests/xrm/rivf.xrm --- tests/xrm/rivf.xrm (revision 82) +++ tests/xrm/rivf.xrm (working copy) @@ -100,6 +100,6 @@ properties for T from 0 to 1200 step 100 do // Alarmed triggered before instant T?

• P =? [ true U (t <= 0 & true) ]

• P =? [ true U (t <= T & boundary_broadcasts) ] end

end

Bon je sais vraiment pas ce qui se passe mais ça marche pas. J'ai essaye avec une grille 2x2 et xrm-front ne termine pas même après avoir attendu plus de 45min. Y'a forcement quelque chose qui fait que ça termine pas.

Donc j'ai fait en sorte d'afficher un message a chaque fois qu'un appel a une formule paramétrée était inliné et au bout de quelques seconde je vois plus de messages... ce qui veut donc bien dire que la récursion s'arrête. Mais alors pourquoi ça continue de tourner pendant aussi longtemps? La je comprends pas... mais va falloir fixer ça rapidement.

:(