test/should_fail/semantics/X1.lus · b4e22d1b3f62ce24fa25a7950c8fbac823cb8947 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

11 years ago

By redirecting the stderr of ecexe onto stdout, ecexe now terminate properly... · b4e22d1b

Erwan Jahier authored 11 years ago

By redirecting the stderr of ecexe onto stdout, ecexe now terminate properly when called from lurette.

Hence, I have no more unresolved test (they are now failures) and the exec
time is now 98s (versus 217!!)

Some failures were actually due to wrong programs (mved to should_fail/semantics)

nb : the change has actually been done in lurette.

b4e22d1b

By redirecting the stderr of ecexe onto stdout, ecexe now terminate properly...

Erwan Jahier authored 11 years ago

By redirecting the stderr of ecexe onto stdout, ecexe now terminate properly when called from lurette.

Hence, I have no more unresolved test (they are now failures) and the exec
time is now 98s (versus 217!!)

Some failures were actually due to wrong programs (mved to should_fail/semantics)

nb : the change has actually been done in lurette.

  X1.lus  78 B 
   
Edit single file  
              Edit this file only.
            
 
         

node X1 (b: bool; n: int)
returns (m: int);
let
  m = current(n when b);
tel