test/should_work/call06.lus · 6fe97fdbc2986487eac688b0adedef3cc584ed57 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

12 years ago

Plug back the non-reg test files and use DejaGnu/runtest to perform them. · 1407d8a2

Erwan Jahier authored 12 years ago

nb : I've transformed all the regressions I've seen into todo entries
in todo.org.

nb 2 : I did not mv the newly broken tests into the broken dirs. I'll
do that for those I do not want to fix in the short term.

1407d8a2

Plug back the non-reg test files and use DejaGnu/runtest to perform them.

Erwan Jahier authored 12 years ago

nb : I've transformed all the regressions I've seen into todo entries
in todo.org.

nb 2 : I did not mv the newly broken tests into the broken dirs. I'll
do that for those I do not want to fix in the short term.

  call06.lus  148 B 
   
Edit single file  
              Edit this file only.
            
extern function bip(x,y : bool) returns (z,t : bool);

node call06(x,y : bool) returns (z,t : bool);
let
  assert (x=>z);
  (z,t) = bip(x,y);

tel