test/should_work · acc2dbb3a79f2ba9ed0489bd8bff1bfc31846d4b · verimag / synchrone / lustre-v6

erwan authored 7 years ago

I've fixed that using memcmp, which should be fine since compared elements
are of the same types.

acc2dbb3

Name	Last commit	Last update
..
broken
COUNTER.lus
CURRENT.lus
Condact.lus
EDGE.lus
ELMU.lus
FALLING_EDGE.lus
FillFollowedByRed.lus
Gyroscope.lus
Gyroscope2.lus
PCOND.lus
PCOND1.lus
SOURIS.lus
STABLE.lus
SWITCH.lus
SWITCH1.lus
TIME_STABLE.lus
TIME_STABLE1.lus
Watch.lus
X.lus
X2.lus
X6.lus
Xr.lus
aa.lus
access.lus
activation1.lus
activation2.lus
activation_ec.lus
after.lus
alias.lus
arbitre.lus
argos.lus
array_concat.lus
array_concat2.lus
array_equals.lus
arrays.lus
asservi.lus
bad_call03.lus
bascule.lus
bob.lus
bred.lus
bred_lv4.lus
bug.lus
bug2.lus
bug_map_fby.lus
calculs_max.lus
call.lus
call01.lus
call02.lus
call03.lus
call04.lus
call05.lus
call06.lus
call07.lus
carV2.lus
carligths.lus
ck2.lus
ck3.lus
ck4.lus
ck5.lus
ck6.lus
ck7.lus
clock1_2ms.lus
clock_ite.lus
cminus.lus
complex.lus
compteur.lus
cond01.lus
consensus.lus
consensus2.lus
contractForElementSelectionInArray.lus
convert.lus
count.lus
cpt.lus
cst.lus
dadic.lv6
dadic_x5_a.lus
dadic_x5_b.lus
dadic_x5_c.lus
deSimone.lus
decl.lus
declaration.lus
deconne.lus
dep.lus
dependeur.lus
dependeur_struct.lus
double_delay.lus
ec.lus
enum0.lus
ex.lus
exclusion.lus
filliter.lus
filter.lus
flo.lus
followed_by.lus
fresh_name.lus
func_with_body.lus
hanane.lus
heater_control.lus
impl_priority.lus

Admin message