New subject: XRM 83: Add bound checking on arrays.

22 Jun 2006

On 2006-06-21, SIGOURE Benoit &lt;sigoure.benoit(a)lrde.epita.fr&gt; 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

Re: XRM 83: Add bound checking on arrays.