22 Jun
2006
22 Jun
'06
3:59 p.m.
On 2006-06-21, SIGOURE Benoit <sigoure.benoit(a)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.
:(
--
SIGOURE Benoit aka Tsuna
_____
/EPITA\ Promo 2008.CSI Rock & tRoll