Erwan Jahier
authored
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.
Name | Last commit | Last update |
---|---|---|
.. | ||
broken | ||
X1.lus | ||
aux.lus | ||
aux1.lus | ||
bad_call01.lus | ||
const.lus | ||
const2.lus | ||
const3.lus | ||
deploop.lus | ||
import2.lus | ||
m.lus | ||
not_a_constant.lus | ||
parametric_node4.lus | ||
patrick.lus | ||
sargs.lus | ||
sincos.lus | ||
t.lus | ||
tranche.lus | ||
x.lus |