Newer
Older
Test Run By jahier on Wed Apr 3 15:41:46 2013
Native configuration is i686-pc-linux-gnu
=== lus2lic tests ===
Schedule of variations:
unix
Running target unix
Using /usr/share/dejagnu/baseboards/unix.exp as board description file for target.
Using /usr/share/dejagnu/config/unix.exp as generic interface file for target.
Using ./config/unix.exp as tool-and-target-specific interface file.
Running ./lus2lic.tests/non-reg.exp ...
spawn ./lus2lic -unit
PASS: ./lus2lic -unit
spawn ./lus2lic -o /tmp/nc6.lic should_work/nc6.lus
PASS: ./lus2lic {-o /tmp/nc6.lic should_work/nc6.lus}
spawn ./lus2lic -ec -o /tmp/nc6.ec should_work/nc6.lus
PASS: ./lus2lic {-ec -o /tmp/nc6.ec should_work/nc6.lus}
spawn ./ec2c -o /tmp/nc6.c /tmp/nc6.ec
PASS: ./ec2c {-o /tmp/nc6.c /tmp/nc6.ec}
spawn ./lus2lic -o /tmp/argos.lic should_work/argos.lus
PASS: ./lus2lic {-o /tmp/argos.lic should_work/argos.lus}
spawn ./lus2lic -ec -o /tmp/argos.ec should_work/argos.lus
PASS: ./lus2lic {-ec -o /tmp/argos.ec should_work/argos.lus}
spawn ./ec2c -o /tmp/argos.c /tmp/argos.ec
PASS: ./ec2c {-o /tmp/argos.c /tmp/argos.ec}
spawn ./lus2lic -o /tmp/ck5.lic should_work/ck5.lus
PASS: ./lus2lic {-o /tmp/ck5.lic should_work/ck5.lus}
spawn ./lus2lic -ec -o /tmp/ck5.ec should_work/ck5.lus
PASS: ./lus2lic {-ec -o /tmp/ck5.ec should_work/ck5.lus}
spawn ./ec2c -o /tmp/ck5.c /tmp/ck5.ec
PASS: ./ec2c {-o /tmp/ck5.c /tmp/ck5.ec}
spawn ./lus2lic -o /tmp/fby.lic should_work/fby.lus
PASS: ./lus2lic {-o /tmp/fby.lic should_work/fby.lus}
spawn ./lus2lic -ec -o /tmp/fby.ec should_work/fby.lus
PASS: ./lus2lic {-ec -o /tmp/fby.ec should_work/fby.lus}
spawn ./ec2c -o /tmp/fby.c /tmp/fby.ec
PASS: ./ec2c {-o /tmp/fby.c /tmp/fby.ec}
spawn ./lus2lic -o /tmp/assertion.lic should_work/assertion.lus
PASS: ./lus2lic {-o /tmp/assertion.lic should_work/assertion.lus}
spawn ./lus2lic -ec -o /tmp/assertion.ec should_work/assertion.lus
PASS: ./lus2lic {-ec -o /tmp/assertion.ec should_work/assertion.lus}
spawn ./ec2c -o /tmp/assertion.c /tmp/assertion.ec
PASS: ./ec2c {-o /tmp/assertion.c /tmp/assertion.ec}
spawn ./lus2lic -o /tmp/normal.lic should_work/normal.lus
PASS: ./lus2lic {-o /tmp/normal.lic should_work/normal.lus}
spawn ./lus2lic -ec -o /tmp/normal.ec should_work/normal.lus
PASS: ./lus2lic {-ec -o /tmp/normal.ec should_work/normal.lus}
spawn ./ec2c -o /tmp/normal.c /tmp/normal.ec
PASS: ./ec2c {-o /tmp/normal.c /tmp/normal.ec}
spawn ./lus2lic -o /tmp/nodeparam.lic should_work/nodeparam.lus
PASS: ./lus2lic {-o /tmp/nodeparam.lic should_work/nodeparam.lus}
spawn ./lus2lic -ec -o /tmp/nodeparam.ec should_work/nodeparam.lus
PASS: ./lus2lic {-ec -o /tmp/nodeparam.ec should_work/nodeparam.lus}
spawn ./ec2c -o /tmp/nodeparam.c /tmp/nodeparam.ec
PASS: ./ec2c {-o /tmp/nodeparam.c /tmp/nodeparam.ec}
spawn ./lus2lic -o /tmp/enum0.lic should_work/enum0.lus
PASS: ./lus2lic {-o /tmp/enum0.lic should_work/enum0.lus}
spawn ./lus2lic -ec -o /tmp/enum0.ec should_work/enum0.lus
PASS: ./lus2lic {-ec -o /tmp/enum0.ec should_work/enum0.lus}
spawn ./ec2c -o /tmp/enum0.c /tmp/enum0.ec
PASS: ./ec2c {-o /tmp/enum0.c /tmp/enum0.ec}
spawn ./lus2lic -o /tmp/ck6.lic should_work/ck6.lus
PASS: ./lus2lic {-o /tmp/ck6.lic should_work/ck6.lus}
spawn ./lus2lic -ec -o /tmp/ck6.ec should_work/ck6.lus
PASS: ./lus2lic {-ec -o /tmp/ck6.ec should_work/ck6.lus}
spawn ./ec2c -o /tmp/ck6.c /tmp/ck6.ec
PASS: ./ec2c {-o /tmp/ck6.c /tmp/ck6.ec}
spawn ./lus2lic -o /tmp/Gyroscope2.lic should_work/Gyroscope2.lus
PASS: ./lus2lic {-o /tmp/Gyroscope2.lic should_work/Gyroscope2.lus}
spawn ./lus2lic -ec -o /tmp/Gyroscope2.ec should_work/Gyroscope2.lus
PASS: ./lus2lic {-ec -o /tmp/Gyroscope2.ec should_work/Gyroscope2.lus}
spawn ./ec2c -o /tmp/Gyroscope2.c /tmp/Gyroscope2.ec
PASS: ./ec2c {-o /tmp/Gyroscope2.c /tmp/Gyroscope2.ec}
spawn ./lus2lic -o /tmp/mouse2.lic should_work/mouse2.lus
PASS: ./lus2lic {-o /tmp/mouse2.lic should_work/mouse2.lus}
spawn ./lus2lic -ec -o /tmp/mouse2.ec should_work/mouse2.lus
PASS: ./lus2lic {-ec -o /tmp/mouse2.ec should_work/mouse2.lus}
spawn ./ec2c -o /tmp/mouse2.c /tmp/mouse2.ec
PASS: ./ec2c {-o /tmp/mouse2.c /tmp/mouse2.ec}
spawn ./lus2lic -o /tmp/dep.lic should_work/dep.lus
PASS: ./lus2lic {-o /tmp/dep.lic should_work/dep.lus}
spawn ./lus2lic -ec -o /tmp/dep.ec should_work/dep.lus
PASS: ./lus2lic {-ec -o /tmp/dep.ec should_work/dep.lus}
spawn ./ec2c -o /tmp/dep.c /tmp/dep.ec
PASS: ./ec2c {-o /tmp/dep.c /tmp/dep.ec}
spawn ./lus2lic -o /tmp/ELMU.lic should_work/ELMU.lus
PASS: ./lus2lic {-o /tmp/ELMU.lic should_work/ELMU.lus}
spawn ./lus2lic -ec -o /tmp/ELMU.ec should_work/ELMU.lus
PASS: ./lus2lic {-ec -o /tmp/ELMU.ec should_work/ELMU.lus}
spawn ./ec2c -o /tmp/ELMU.c /tmp/ELMU.ec
PASS: ./ec2c {-o /tmp/ELMU.c /tmp/ELMU.ec}
spawn ./lus2lic -o /tmp/testPilote.lic should_work/testPilote.lus
PASS: ./lus2lic {-o /tmp/testPilote.lic should_work/testPilote.lus}
spawn ./lus2lic -ec -o /tmp/testPilote.ec should_work/testPilote.lus
PASS: ./lus2lic {-ec -o /tmp/testPilote.ec should_work/testPilote.lus}
spawn ./ec2c -o /tmp/testPilote.c /tmp/testPilote.ec
PASS: ./ec2c {-o /tmp/testPilote.c /tmp/testPilote.ec}
spawn ./lus2lic -o /tmp/redIf.lic should_work/redIf.lus
PASS: ./lus2lic {-o /tmp/redIf.lic should_work/redIf.lus}
spawn ./lus2lic -ec -o /tmp/redIf.ec should_work/redIf.lus
PASS: ./lus2lic {-ec -o /tmp/redIf.ec should_work/redIf.lus}
spawn ./ec2c -o /tmp/redIf.c /tmp/redIf.ec
PASS: ./ec2c {-o /tmp/redIf.c /tmp/redIf.ec}
spawn ./lus2lic -o /tmp/t0.lic should_work/t0.lus
PASS: ./lus2lic {-o /tmp/t0.lic should_work/t0.lus}
spawn ./lus2lic -ec -o /tmp/t0.ec should_work/t0.lus
PASS: ./lus2lic {-ec -o /tmp/t0.ec should_work/t0.lus}
spawn ./ec2c -o /tmp/t0.c /tmp/t0.ec
PASS: ./ec2c {-o /tmp/t0.c /tmp/t0.ec}
spawn ./lus2lic -o /tmp/lucky.lic should_work/lucky.lus
PASS: ./lus2lic {-o /tmp/lucky.lic should_work/lucky.lus}
spawn ./lus2lic -ec -o /tmp/lucky.ec should_work/lucky.lus
PASS: ./lus2lic {-ec -o /tmp/lucky.ec should_work/lucky.lus}
spawn ./ec2c -o /tmp/lucky.c /tmp/lucky.ec
PASS: ./ec2c {-o /tmp/lucky.c /tmp/lucky.ec}
spawn ./lus2lic -o /tmp/heater_control.lic should_work/heater_control.lus
PASS: ./lus2lic {-o /tmp/heater_control.lic should_work/heater_control.lus}
spawn ./lus2lic -ec -o /tmp/heater_control.ec should_work/heater_control.lus
Erwan Jahier
committed
PASS: ./lus2lic {-ec -o /tmp/heater_control.ec should_work/heater_control.lus}
spawn ./ec2c -o /tmp/heater_control.c /tmp/heater_control.ec
PASS: ./ec2c {-o /tmp/heater_control.c /tmp/heater_control.ec}
spawn ./lus2lic -o /tmp/titi.lic should_work/titi.lus
PASS: ./lus2lic {-o /tmp/titi.lic should_work/titi.lus}
spawn ./lus2lic -ec -o /tmp/titi.ec should_work/titi.lus
PASS: ./lus2lic {-ec -o /tmp/titi.ec should_work/titi.lus}
spawn ./ec2c -o /tmp/titi.c /tmp/titi.ec
PASS: ./ec2c {-o /tmp/titi.c /tmp/titi.ec}
spawn ./lus2lic -o /tmp/cminus.lic should_work/cminus.lus
PASS: ./lus2lic {-o /tmp/cminus.lic should_work/cminus.lus}
spawn ./lus2lic -ec -o /tmp/cminus.ec should_work/cminus.lus
PASS: ./lus2lic {-ec -o /tmp/cminus.ec should_work/cminus.lus}
spawn ./ec2c -o /tmp/cminus.c /tmp/cminus.ec
PASS: ./ec2c {-o /tmp/cminus.c /tmp/cminus.ec}
spawn ./lus2lic -o /tmp/rs.lic should_work/rs.lus
PASS: ./lus2lic {-o /tmp/rs.lic should_work/rs.lus}
spawn ./lus2lic -ec -o /tmp/rs.ec should_work/rs.lus
PASS: ./lus2lic {-ec -o /tmp/rs.ec should_work/rs.lus}
spawn ./ec2c -o /tmp/rs.c /tmp/rs.ec
PASS: ./ec2c {-o /tmp/rs.c /tmp/rs.ec}
spawn ./lus2lic -o /tmp/access.lic should_work/access.lus
PASS: ./lus2lic {-o /tmp/access.lic should_work/access.lus}
spawn ./lus2lic -ec -o /tmp/access.ec should_work/access.lus
PASS: ./lus2lic {-ec -o /tmp/access.ec should_work/access.lus}
spawn ./ec2c -o /tmp/access.c /tmp/access.ec
PASS: ./ec2c {-o /tmp/access.c /tmp/access.ec}
spawn ./lus2lic -o /tmp/aux.lic should_work/aux.lus
PASS: ./lus2lic {-o /tmp/aux.lic should_work/aux.lus}
spawn ./lus2lic -ec -o /tmp/aux.ec should_work/aux.lus
PASS: ./lus2lic {-ec -o /tmp/aux.ec should_work/aux.lus}
spawn ./ec2c -o /tmp/aux.c /tmp/aux.ec
PASS: ./ec2c {-o /tmp/aux.c /tmp/aux.ec}
spawn ./lus2lic -o /tmp/consensus2.lic should_work/consensus2.lus
PASS: ./lus2lic {-o /tmp/consensus2.lic should_work/consensus2.lus}
spawn ./lus2lic -ec -o /tmp/consensus2.ec should_work/consensus2.lus
PASS: ./lus2lic {-ec -o /tmp/consensus2.ec should_work/consensus2.lus}
spawn ./ec2c -o /tmp/consensus2.c /tmp/consensus2.ec
PASS: ./ec2c {-o /tmp/consensus2.c /tmp/consensus2.ec}
spawn ./lus2lic -o /tmp/dependeur.lic should_work/dependeur.lus
PASS: ./lus2lic {-o /tmp/dependeur.lic should_work/dependeur.lus}
spawn ./lus2lic -ec -o /tmp/dependeur.ec should_work/dependeur.lus
PASS: ./lus2lic {-ec -o /tmp/dependeur.ec should_work/dependeur.lus}
spawn ./ec2c -o /tmp/dependeur.c /tmp/dependeur.ec
PASS: ./ec2c {-o /tmp/dependeur.c /tmp/dependeur.ec}
spawn ./lus2lic -o /tmp/mappredef.lic should_work/mappredef.lus
PASS: ./lus2lic {-o /tmp/mappredef.lic should_work/mappredef.lus}
spawn ./lus2lic -ec -o /tmp/mappredef.ec should_work/mappredef.lus
PASS: ./lus2lic {-ec -o /tmp/mappredef.ec should_work/mappredef.lus}
spawn ./ec2c -o /tmp/mappredef.c /tmp/mappredef.ec
PASS: ./ec2c {-o /tmp/mappredef.c /tmp/mappredef.ec}
spawn ./lus2lic -o /tmp/call06.lic should_work/call06.lus
PASS: ./lus2lic {-o /tmp/call06.lic should_work/call06.lus}
spawn ./lus2lic -ec -o /tmp/call06.ec should_work/call06.lus
PASS: ./lus2lic {-ec -o /tmp/call06.ec should_work/call06.lus}
spawn ./ec2c -o /tmp/call06.c /tmp/call06.ec
PASS: ./ec2c {-o /tmp/call06.c /tmp/call06.ec}
spawn ./lus2lic -o /tmp/deSimone.lic should_work/deSimone.lus
PASS: ./lus2lic {-o /tmp/deSimone.lic should_work/deSimone.lus}
spawn ./lus2lic -ec -o /tmp/deSimone.ec should_work/deSimone.lus
PASS: ./lus2lic {-ec -o /tmp/deSimone.ec should_work/deSimone.lus}
spawn ./ec2c -o /tmp/deSimone.c /tmp/deSimone.ec
PASS: ./ec2c {-o /tmp/deSimone.c /tmp/deSimone.ec}
spawn ./lus2lic -o /tmp/bug2.lic should_work/bug2.lus
PASS: ./lus2lic {-o /tmp/bug2.lic should_work/bug2.lus}
spawn ./lus2lic -ec -o /tmp/bug2.ec should_work/bug2.lus
PASS: ./lus2lic {-ec -o /tmp/bug2.ec should_work/bug2.lus}
spawn ./ec2c -o /tmp/bug2.c /tmp/bug2.ec
PASS: ./ec2c {-o /tmp/bug2.c /tmp/bug2.ec}
spawn ./lus2lic -o /tmp/mm.lic should_work/mm.lus
PASS: ./lus2lic {-o /tmp/mm.lic should_work/mm.lus}
spawn ./lus2lic -ec -o /tmp/mm.ec should_work/mm.lus
PASS: ./lus2lic {-ec -o /tmp/mm.ec should_work/mm.lus}
spawn ./ec2c -o /tmp/mm.c /tmp/mm.ec
PASS: ./ec2c {-o /tmp/mm.c /tmp/mm.ec}
spawn ./lus2lic -o /tmp/yyy.lic should_work/yyy.lus
PASS: ./lus2lic {-o /tmp/yyy.lic should_work/yyy.lus}
spawn ./lus2lic -ec -o /tmp/yyy.ec should_work/yyy.lus
PASS: ./lus2lic {-ec -o /tmp/yyy.ec should_work/yyy.lus}
spawn ./ec2c -o /tmp/yyy.c /tmp/yyy.ec
PASS: ./ec2c {-o /tmp/yyy.c /tmp/yyy.ec}
spawn ./lus2lic -o /tmp/toolate.lic should_work/toolate.lus
PASS: ./lus2lic {-o /tmp/toolate.lic should_work/toolate.lus}
spawn ./lus2lic -ec -o /tmp/toolate.ec should_work/toolate.lus
PASS: ./lus2lic {-ec -o /tmp/toolate.ec should_work/toolate.lus}
spawn ./ec2c -o /tmp/toolate.c /tmp/toolate.ec
PASS: ./ec2c {-o /tmp/toolate.c /tmp/toolate.ec}
spawn ./lus2lic -o /tmp/testCapt.lic should_work/testCapt.lus
PASS: ./lus2lic {-o /tmp/testCapt.lic should_work/testCapt.lus}
spawn ./lus2lic -ec -o /tmp/testCapt.ec should_work/testCapt.lus
PASS: ./lus2lic {-ec -o /tmp/testCapt.ec should_work/testCapt.lus}
spawn ./ec2c -o /tmp/testCapt.c /tmp/testCapt.ec
PASS: ./ec2c {-o /tmp/testCapt.c /tmp/testCapt.ec}
spawn ./lus2lic -o /tmp/nc7.lic should_work/nc7.lus
PASS: ./lus2lic {-o /tmp/nc7.lic should_work/nc7.lus}
spawn ./lus2lic -ec -o /tmp/nc7.ec should_work/nc7.lus
PASS: ./lus2lic {-ec -o /tmp/nc7.ec should_work/nc7.lus}
spawn ./ec2c -o /tmp/nc7.c /tmp/nc7.ec
PASS: ./ec2c {-o /tmp/nc7.c /tmp/nc7.ec}
spawn ./lus2lic -o /tmp/predefOp.lic should_work/predefOp.lus
PASS: ./lus2lic {-o /tmp/predefOp.lic should_work/predefOp.lus}
spawn ./lus2lic -ec -o /tmp/predefOp.ec should_work/predefOp.lus
PASS: ./lus2lic {-ec -o /tmp/predefOp.ec should_work/predefOp.lus}
spawn ./ec2c -o /tmp/predefOp.c /tmp/predefOp.ec
PASS: ./ec2c {-o /tmp/predefOp.c /tmp/predefOp.ec}
spawn ./lus2lic -o /tmp/t1.lic should_work/t1.lus
PASS: ./lus2lic {-o /tmp/t1.lic should_work/t1.lus}
spawn ./lus2lic -ec -o /tmp/t1.ec should_work/t1.lus
PASS: ./lus2lic {-ec -o /tmp/t1.ec should_work/t1.lus}
spawn ./ec2c -o /tmp/t1.c /tmp/t1.ec
PASS: ./ec2c {-o /tmp/t1.c /tmp/t1.ec}
spawn ./lus2lic -o /tmp/nc9.lic should_work/nc9.lus
PASS: ./lus2lic {-o /tmp/nc9.lic should_work/nc9.lus}
spawn ./lus2lic -ec -o /tmp/nc9.ec should_work/nc9.lus
PASS: ./lus2lic {-ec -o /tmp/nc9.ec should_work/nc9.lus}
spawn ./ec2c -o /tmp/nc9.c /tmp/nc9.ec
PASS: ./ec2c {-o /tmp/nc9.c /tmp/nc9.ec}
spawn ./lus2lic -o /tmp/packageTableau.lic should_work/packageTableau.lus
PASS: ./lus2lic {-o /tmp/packageTableau.lic should_work/packageTableau.lus}
spawn ./lus2lic -ec -o /tmp/packageTableau.ec should_work/packageTableau.lus
PASS: ./lus2lic {-ec -o /tmp/packageTableau.ec should_work/packageTableau.lus}
spawn ./ec2c -o /tmp/packageTableau.c /tmp/packageTableau.ec
PASS: ./ec2c {-o /tmp/packageTableau.c /tmp/packageTableau.ec}
spawn ./lus2lic -o /tmp/car-V2.lic should_work/car-V2.lus
PASS: ./lus2lic {-o /tmp/car-V2.lic should_work/car-V2.lus}
spawn ./lus2lic -ec -o /tmp/car-V2.ec should_work/car-V2.lus
PASS: ./lus2lic {-ec -o /tmp/car-V2.ec should_work/car-V2.lus}
spawn ./ec2c -o /tmp/car-V2.c /tmp/car-V2.ec
PASS: ./ec2c {-o /tmp/car-V2.c /tmp/car-V2.ec}
spawn ./lus2lic -o /tmp/nc8.lic should_work/nc8.lus
PASS: ./lus2lic {-o /tmp/nc8.lic should_work/nc8.lus}
spawn ./lus2lic -ec -o /tmp/nc8.ec should_work/nc8.lus
PASS: ./lus2lic {-ec -o /tmp/nc8.ec should_work/nc8.lus}
spawn ./ec2c -o /tmp/nc8.c /tmp/nc8.ec
PASS: ./ec2c {-o /tmp/nc8.c /tmp/nc8.ec}
spawn ./lus2lic -o /tmp/minmax5.lic should_work/minmax5.lus
PASS: ./lus2lic {-o /tmp/minmax5.lic should_work/minmax5.lus}
spawn ./lus2lic -ec -o /tmp/minmax5.ec should_work/minmax5.lus
PASS: ./lus2lic {-ec -o /tmp/minmax5.ec should_work/minmax5.lus}
spawn ./ec2c -o /tmp/minmax5.c /tmp/minmax5.ec
PASS: ./ec2c {-o /tmp/minmax5.c /tmp/minmax5.ec}
spawn ./lus2lic -o /tmp/mm1.lic should_work/mm1.lus
PASS: ./lus2lic {-o /tmp/mm1.lic should_work/mm1.lus}
spawn ./lus2lic -ec -o /tmp/mm1.ec should_work/mm1.lus
PASS: ./lus2lic {-ec -o /tmp/mm1.ec should_work/mm1.lus}
spawn ./ec2c -o /tmp/mm1.c /tmp/mm1.ec
PASS: ./ec2c {-o /tmp/mm1.c /tmp/mm1.ec}
spawn ./lus2lic -o /tmp/predef03.lic should_work/predef03.lus
PASS: ./lus2lic {-o /tmp/predef03.lic should_work/predef03.lus}
spawn ./lus2lic -ec -o /tmp/predef03.ec should_work/predef03.lus
PASS: ./lus2lic {-ec -o /tmp/predef03.ec should_work/predef03.lus}
spawn ./ec2c -o /tmp/predef03.c /tmp/predef03.ec
PASS: ./ec2c {-o /tmp/predef03.c /tmp/predef03.ec}
spawn ./lus2lic -o /tmp/iter.lic should_work/iter.lus
PASS: ./lus2lic {-o /tmp/iter.lic should_work/iter.lus}
spawn ./lus2lic -ec -o /tmp/iter.ec should_work/iter.lus
PASS: ./lus2lic {-ec -o /tmp/iter.ec should_work/iter.lus}
spawn ./ec2c -o /tmp/iter.c /tmp/iter.ec
PASS: ./ec2c {-o /tmp/iter.c /tmp/iter.ec}
spawn ./lus2lic -o /tmp/call05.lic should_work/call05.lus
PASS: ./lus2lic {-o /tmp/call05.lic should_work/call05.lus}
spawn ./lus2lic -ec -o /tmp/call05.ec should_work/call05.lus
PASS: ./lus2lic {-ec -o /tmp/call05.ec should_work/call05.lus}
spawn ./ec2c -o /tmp/call05.c /tmp/call05.ec
PASS: ./ec2c {-o /tmp/call05.c /tmp/call05.ec}
spawn ./lus2lic -o /tmp/Watch.lic should_work/Watch.lus
PASS: ./lus2lic {-o /tmp/Watch.lic should_work/Watch.lus}
spawn ./lus2lic -ec -o /tmp/Watch.ec should_work/Watch.lus
PASS: ./lus2lic {-ec -o /tmp/Watch.ec should_work/Watch.lus}
spawn ./ec2c -o /tmp/Watch.c /tmp/Watch.ec
PASS: ./ec2c {-o /tmp/Watch.c /tmp/Watch.ec}
spawn ./lus2lic -o /tmp/testBoite.lic should_work/testBoite.lus
PASS: ./lus2lic {-o /tmp/testBoite.lic should_work/testBoite.lus}
spawn ./lus2lic -ec -o /tmp/testBoite.ec should_work/testBoite.lus
PASS: ./lus2lic {-ec -o /tmp/testBoite.ec should_work/testBoite.lus}
spawn ./ec2c -o /tmp/testBoite.c /tmp/testBoite.ec
PASS: ./ec2c {-o /tmp/testBoite.c /tmp/testBoite.ec}
spawn ./lus2lic -o /tmp/node_caller1.lic should_work/node_caller1.lus
PASS: ./lus2lic {-o /tmp/node_caller1.lic should_work/node_caller1.lus}
spawn ./lus2lic -ec -o /tmp/node_caller1.ec should_work/node_caller1.lus
PASS: ./lus2lic {-ec -o /tmp/node_caller1.ec should_work/node_caller1.lus}
spawn ./ec2c -o /tmp/node_caller1.c /tmp/node_caller1.ec
PASS: ./ec2c {-o /tmp/node_caller1.c /tmp/node_caller1.ec}
spawn ./lus2lic -o /tmp/nc1.lic should_work/nc1.lus
PASS: ./lus2lic {-o /tmp/nc1.lic should_work/nc1.lus}
spawn ./lus2lic -ec -o /tmp/nc1.ec should_work/nc1.lus
PASS: ./lus2lic {-ec -o /tmp/nc1.ec should_work/nc1.lus}
spawn ./ec2c -o /tmp/nc1.c /tmp/nc1.ec
PASS: ./ec2c {-o /tmp/nc1.c /tmp/nc1.ec}
spawn ./lus2lic -o /tmp/test_node_expand2.lic should_work/test_node_expand2.lus
PASS: ./lus2lic {-o /tmp/test_node_expand2.lic should_work/test_node_expand2.lus}
spawn ./lus2lic -ec -o /tmp/test_node_expand2.ec should_work/test_node_expand2.lus
PASS: ./lus2lic {-ec -o /tmp/test_node_expand2.ec should_work/test_node_expand2.lus}
spawn ./ec2c -o /tmp/test_node_expand2.c /tmp/test_node_expand2.ec
PASS: ./ec2c {-o /tmp/test_node_expand2.c /tmp/test_node_expand2.ec}
spawn ./lus2lic -o /tmp/test.lic should_work/test.lus
PASS: ./lus2lic {-o /tmp/test.lic should_work/test.lus}
spawn ./lus2lic -ec -o /tmp/test.ec should_work/test.lus
PASS: ./lus2lic {-ec -o /tmp/test.ec should_work/test.lus}
spawn ./ec2c -o /tmp/test.c /tmp/test.ec
PASS: ./ec2c {-o /tmp/test.c /tmp/test.ec}
spawn ./lus2lic -o /tmp/FALLING_EDGE.lic should_work/FALLING_EDGE.lus
PASS: ./lus2lic {-o /tmp/FALLING_EDGE.lic should_work/FALLING_EDGE.lus}
spawn ./lus2lic -ec -o /tmp/FALLING_EDGE.ec should_work/FALLING_EDGE.lus
PASS: ./lus2lic {-ec -o /tmp/FALLING_EDGE.ec should_work/FALLING_EDGE.lus}
spawn ./ec2c -o /tmp/FALLING_EDGE.c /tmp/FALLING_EDGE.ec
PASS: ./ec2c {-o /tmp/FALLING_EDGE.c /tmp/FALLING_EDGE.ec}
spawn ./lus2lic -o /tmp/SWITCH.lic should_work/SWITCH.lus
PASS: ./lus2lic {-o /tmp/SWITCH.lic should_work/SWITCH.lus}
spawn ./lus2lic -ec -o /tmp/SWITCH.ec should_work/SWITCH.lus
PASS: ./lus2lic {-ec -o /tmp/SWITCH.ec should_work/SWITCH.lus}
spawn ./ec2c -o /tmp/SWITCH.c /tmp/SWITCH.ec
PASS: ./ec2c {-o /tmp/SWITCH.c /tmp/SWITCH.ec}
spawn ./lus2lic -o /tmp/cst.lic should_work/cst.lus
PASS: ./lus2lic {-o /tmp/cst.lic should_work/cst.lus}
spawn ./lus2lic -ec -o /tmp/cst.ec should_work/cst.lus
PASS: ./lus2lic {-ec -o /tmp/cst.ec should_work/cst.lus}
spawn ./ec2c -o /tmp/cst.c /tmp/cst.ec
PASS: ./ec2c {-o /tmp/cst.c /tmp/cst.ec}
spawn ./lus2lic -o /tmp/minmax5_random.lic should_work/minmax5_random.lus
PASS: ./lus2lic {-o /tmp/minmax5_random.lic should_work/minmax5_random.lus}
spawn ./lus2lic -ec -o /tmp/minmax5_random.ec should_work/minmax5_random.lus
PASS: ./lus2lic {-ec -o /tmp/minmax5_random.ec should_work/minmax5_random.lus}
spawn ./ec2c -o /tmp/minmax5_random.c /tmp/minmax5_random.ec
PASS: ./ec2c {-o /tmp/minmax5_random.c /tmp/minmax5_random.ec}
spawn ./lus2lic -o /tmp/matrice2.lic should_work/matrice2.lus
PASS: ./lus2lic {-o /tmp/matrice2.lic should_work/matrice2.lus}
spawn ./lus2lic -ec -o /tmp/matrice2.ec should_work/matrice2.lus
PASS: ./lus2lic {-ec -o /tmp/matrice2.ec should_work/matrice2.lus}
spawn ./ec2c -o /tmp/matrice2.c /tmp/matrice2.ec
PASS: ./ec2c {-o /tmp/matrice2.c /tmp/matrice2.ec}
spawn ./lus2lic -o /tmp/v1.lic should_work/v1.lus
PASS: ./lus2lic {-o /tmp/v1.lic should_work/v1.lus}
spawn ./lus2lic -ec -o /tmp/v1.ec should_work/v1.lus
PASS: ./lus2lic {-ec -o /tmp/v1.ec should_work/v1.lus}
spawn ./ec2c -o /tmp/v1.c /tmp/v1.ec
PASS: ./ec2c {-o /tmp/v1.c /tmp/v1.ec}
spawn ./lus2lic -o /tmp/ply02.lic should_work/ply02.lus
PASS: ./lus2lic {-o /tmp/ply02.lic should_work/ply02.lus}
spawn ./lus2lic -ec -o /tmp/ply02.ec should_work/ply02.lus
PASS: ./lus2lic {-ec -o /tmp/ply02.ec should_work/ply02.lus}
spawn ./ec2c -o /tmp/ply02.c /tmp/ply02.ec
PASS: ./ec2c {-o /tmp/ply02.c /tmp/ply02.ec}
spawn ./lus2lic -o /tmp/call04.lic should_work/call04.lus
PASS: ./lus2lic {-o /tmp/call04.lic should_work/call04.lus}
spawn ./lus2lic -ec -o /tmp/call04.ec should_work/call04.lus
PASS: ./lus2lic {-ec -o /tmp/call04.ec should_work/call04.lus}
spawn ./ec2c -o /tmp/call04.c /tmp/call04.ec
PASS: ./ec2c {-o /tmp/call04.c /tmp/call04.ec}
spawn ./lus2lic -o /tmp/bascule.lic should_work/bascule.lus
PASS: ./lus2lic {-o /tmp/bascule.lic should_work/bascule.lus}
spawn ./lus2lic -ec -o /tmp/bascule.ec should_work/bascule.lus
PASS: ./lus2lic {-ec -o /tmp/bascule.ec should_work/bascule.lus}
spawn ./ec2c -o /tmp/bascule.c /tmp/bascule.ec
PASS: ./ec2c {-o /tmp/bascule.c /tmp/bascule.ec}
spawn ./lus2lic -o /tmp/struct_with.lic should_work/struct_with.lus
PASS: ./lus2lic {-o /tmp/struct_with.lic should_work/struct_with.lus}
spawn ./lus2lic -ec -o /tmp/struct_with.ec should_work/struct_with.lus
PASS: ./lus2lic {-ec -o /tmp/struct_with.ec should_work/struct_with.lus}
spawn ./ec2c -o /tmp/struct_with.c /tmp/struct_with.ec
PASS: ./ec2c {-o /tmp/struct_with.c /tmp/struct_with.ec}
spawn ./lus2lic -o /tmp/test_node_expand.lic should_work/test_node_expand.lus
PASS: ./lus2lic {-o /tmp/test_node_expand.lic should_work/test_node_expand.lus}
spawn ./lus2lic -ec -o /tmp/test_node_expand.ec should_work/test_node_expand.lus
PASS: ./lus2lic {-ec -o /tmp/test_node_expand.ec should_work/test_node_expand.lus}
spawn ./ec2c -o /tmp/test_node_expand.c /tmp/test_node_expand.ec
PASS: ./ec2c {-o /tmp/test_node_expand.c /tmp/test_node_expand.ec}
spawn ./lus2lic -o /tmp/mm22.lic should_work/mm22.lus
PASS: ./lus2lic {-o /tmp/mm22.lic should_work/mm22.lus}
spawn ./lus2lic -ec -o /tmp/mm22.ec should_work/mm22.lus
PASS: ./lus2lic {-ec -o /tmp/mm22.ec should_work/mm22.lus}
spawn ./ec2c -o /tmp/mm22.c /tmp/mm22.ec
PASS: ./ec2c {-o /tmp/mm22.c /tmp/mm22.ec}
spawn ./lus2lic -o /tmp/X1.lic should_work/X1.lus
PASS: ./lus2lic {-o /tmp/X1.lic should_work/X1.lus}
spawn ./lus2lic -ec -o /tmp/X1.ec should_work/X1.lus
PASS: ./lus2lic {-ec -o /tmp/X1.ec should_work/X1.lus}
spawn ./ec2c -o /tmp/X1.c /tmp/X1.ec
PASS: ./ec2c {-o /tmp/X1.c /tmp/X1.ec}
spawn ./lus2lic -o /tmp/is_stable.lic should_work/is_stable.lus
PASS: ./lus2lic {-o /tmp/is_stable.lic should_work/is_stable.lus}
spawn ./lus2lic -ec -o /tmp/is_stable.ec should_work/is_stable.lus
PASS: ./lus2lic {-ec -o /tmp/is_stable.ec should_work/is_stable.lus}
spawn ./ec2c -o /tmp/is_stable.c /tmp/is_stable.ec
PASS: ./ec2c {-o /tmp/is_stable.c /tmp/is_stable.ec}
spawn ./lus2lic -o /tmp/test_clash.lic should_work/test_clash.lus
PASS: ./lus2lic {-o /tmp/test_clash.lic should_work/test_clash.lus}
spawn ./lus2lic -ec -o /tmp/test_clash.ec should_work/test_clash.lus
PASS: ./lus2lic {-ec -o /tmp/test_clash.ec should_work/test_clash.lus}
spawn ./ec2c -o /tmp/test_clash.c /tmp/test_clash.ec
PASS: ./ec2c {-o /tmp/test_clash.c /tmp/test_clash.ec}
spawn ./lus2lic -o /tmp/model2.lic should_work/model2.lus
PASS: ./lus2lic {-o /tmp/model2.lic should_work/model2.lus}
spawn ./lus2lic -ec -o /tmp/model2.ec should_work/model2.lus
PASS: ./lus2lic {-ec -o /tmp/model2.ec should_work/model2.lus}
spawn ./ec2c -o /tmp/model2.c /tmp/model2.ec
PASS: ./ec2c {-o /tmp/model2.c /tmp/model2.ec}
spawn ./lus2lic -o /tmp/alarme.lic should_work/alarme.lus
PASS: ./lus2lic {-o /tmp/alarme.lic should_work/alarme.lus}
spawn ./lus2lic -ec -o /tmp/alarme.ec should_work/alarme.lus
PASS: ./lus2lic {-ec -o /tmp/alarme.ec should_work/alarme.lus}
spawn ./ec2c -o /tmp/alarme.c /tmp/alarme.ec
PASS: ./ec2c {-o /tmp/alarme.c /tmp/alarme.ec}
spawn ./lus2lic -o /tmp/onlyroll2.lic should_work/onlyroll2.lus
PASS: ./lus2lic {-o /tmp/onlyroll2.lic should_work/onlyroll2.lus}
spawn ./lus2lic -ec -o /tmp/onlyroll2.ec should_work/onlyroll2.lus
Erwan Jahier
committed
PASS: ./lus2lic {-ec -o /tmp/onlyroll2.ec should_work/onlyroll2.lus}
spawn ./ec2c -o /tmp/onlyroll2.c /tmp/onlyroll2.ec
PASS: ./ec2c {-o /tmp/onlyroll2.c /tmp/onlyroll2.ec}
spawn ./lus2lic -o /tmp/X6.lic should_work/X6.lus
PASS: ./lus2lic {-o /tmp/X6.lic should_work/X6.lus}
spawn ./lus2lic -ec -o /tmp/X6.ec should_work/X6.lus
PASS: ./lus2lic {-ec -o /tmp/X6.ec should_work/X6.lus}
spawn ./ec2c -o /tmp/X6.c /tmp/X6.ec
PASS: ./ec2c {-o /tmp/X6.c /tmp/X6.ec}
spawn ./lus2lic -o /tmp/zzz2.lic should_work/zzz2.lus
PASS: ./lus2lic {-o /tmp/zzz2.lic should_work/zzz2.lus}
spawn ./lus2lic -ec -o /tmp/zzz2.ec should_work/zzz2.lus
PASS: ./lus2lic {-ec -o /tmp/zzz2.ec should_work/zzz2.lus}
spawn ./ec2c -o /tmp/zzz2.c /tmp/zzz2.ec
PASS: ./ec2c {-o /tmp/zzz2.c /tmp/zzz2.ec}
spawn ./lus2lic -o /tmp/polymorphic_pack.lic should_work/polymorphic_pack.lus
PASS: ./lus2lic {-o /tmp/polymorphic_pack.lic should_work/polymorphic_pack.lus}
spawn ./lus2lic -ec -o /tmp/polymorphic_pack.ec should_work/polymorphic_pack.lus
PASS: ./lus2lic {-ec -o /tmp/polymorphic_pack.ec should_work/polymorphic_pack.lus}
spawn ./ec2c -o /tmp/polymorphic_pack.c /tmp/polymorphic_pack.ec
PASS: ./ec2c {-o /tmp/polymorphic_pack.c /tmp/polymorphic_pack.ec}
spawn ./lus2lic -o /tmp/COUNTER.lic should_work/COUNTER.lus
PASS: ./lus2lic {-o /tmp/COUNTER.lic should_work/COUNTER.lus}
spawn ./lus2lic -ec -o /tmp/COUNTER.ec should_work/COUNTER.lus
PASS: ./lus2lic {-ec -o /tmp/COUNTER.ec should_work/COUNTER.lus}
spawn ./ec2c -o /tmp/COUNTER.c /tmp/COUNTER.ec
PASS: ./ec2c {-o /tmp/COUNTER.c /tmp/COUNTER.ec}
spawn ./lus2lic -o /tmp/minmax3.lic should_work/minmax3.lus
PASS: ./lus2lic {-o /tmp/minmax3.lic should_work/minmax3.lus}
spawn ./lus2lic -ec -o /tmp/minmax3.ec should_work/minmax3.lus
PASS: ./lus2lic {-ec -o /tmp/minmax3.ec should_work/minmax3.lus}
spawn ./ec2c -o /tmp/minmax3.c /tmp/minmax3.ec
PASS: ./ec2c {-o /tmp/minmax3.c /tmp/minmax3.ec}
spawn ./lus2lic -o /tmp/X3.lic should_work/X3.lus
PASS: ./lus2lic {-o /tmp/X3.lic should_work/X3.lus}
spawn ./lus2lic -ec -o /tmp/X3.ec should_work/X3.lus
PASS: ./lus2lic {-ec -o /tmp/X3.ec should_work/X3.lus}
spawn ./ec2c -o /tmp/X3.c /tmp/X3.ec
PASS: ./ec2c {-o /tmp/X3.c /tmp/X3.ec}
spawn ./lus2lic -o /tmp/filter.lic should_work/filter.lus
PASS: ./lus2lic {-o /tmp/filter.lic should_work/filter.lus}
spawn ./lus2lic -ec -o /tmp/filter.ec should_work/filter.lus
PASS: ./lus2lic {-ec -o /tmp/filter.ec should_work/filter.lus}
spawn ./ec2c -o /tmp/filter.c /tmp/filter.ec
PASS: ./ec2c {-o /tmp/filter.c /tmp/filter.ec}
spawn ./lus2lic -o /tmp/ec.lic should_work/ec.lus
PASS: ./lus2lic {-o /tmp/ec.lic should_work/ec.lus}
spawn ./lus2lic -ec -o /tmp/ec.ec should_work/ec.lus
PASS: ./lus2lic {-ec -o /tmp/ec.ec should_work/ec.lus}
spawn ./ec2c -o /tmp/ec.c /tmp/ec.ec
PASS: ./ec2c {-o /tmp/ec.c /tmp/ec.ec}
spawn ./lus2lic -o /tmp/morel3.lic should_work/morel3.lus
PASS: ./lus2lic {-o /tmp/morel3.lic should_work/morel3.lus}
spawn ./lus2lic -ec -o /tmp/morel3.ec should_work/morel3.lus
PASS: ./lus2lic {-ec -o /tmp/morel3.ec should_work/morel3.lus}
spawn ./ec2c -o /tmp/morel3.c /tmp/morel3.ec
PASS: ./ec2c {-o /tmp/morel3.c /tmp/morel3.ec}
spawn ./lus2lic -o /tmp/fresh_name.lic should_work/fresh_name.lus
PASS: ./lus2lic {-o /tmp/fresh_name.lic should_work/fresh_name.lus}
spawn ./lus2lic -ec -o /tmp/fresh_name.ec should_work/fresh_name.lus
PASS: ./lus2lic {-ec -o /tmp/fresh_name.ec should_work/fresh_name.lus}
spawn ./ec2c -o /tmp/fresh_name.c /tmp/fresh_name.ec
PASS: ./ec2c {-o /tmp/fresh_name.c /tmp/fresh_name.ec}
spawn ./lus2lic -o /tmp/ply03.lic should_work/ply03.lus
PASS: ./lus2lic {-o /tmp/ply03.lic should_work/ply03.lus}
spawn ./lus2lic -ec -o /tmp/ply03.ec should_work/ply03.lus
PASS: ./lus2lic {-ec -o /tmp/ply03.ec should_work/ply03.lus}
spawn ./ec2c -o /tmp/ply03.c /tmp/ply03.ec
PASS: ./ec2c {-o /tmp/ply03.c /tmp/ply03.ec}
spawn ./lus2lic -o /tmp/param_struct.lic should_work/param_struct.lus
PASS: ./lus2lic {-o /tmp/param_struct.lic should_work/param_struct.lus}
spawn ./lus2lic -ec -o /tmp/param_struct.ec should_work/param_struct.lus
PASS: ./lus2lic {-ec -o /tmp/param_struct.ec should_work/param_struct.lus}
spawn ./ec2c -o /tmp/param_struct.c /tmp/param_struct.ec
PASS: ./ec2c {-o /tmp/param_struct.c /tmp/param_struct.ec}
spawn ./lus2lic -o /tmp/minmax2.lic should_work/minmax2.lus
PASS: ./lus2lic {-o /tmp/minmax2.lic should_work/minmax2.lus}
spawn ./lus2lic -ec -o /tmp/minmax2.ec should_work/minmax2.lus
PASS: ./lus2lic {-ec -o /tmp/minmax2.ec should_work/minmax2.lus}
spawn ./ec2c -o /tmp/minmax2.c /tmp/minmax2.ec
PASS: ./ec2c {-o /tmp/minmax2.c /tmp/minmax2.ec}
spawn ./lus2lic -o /tmp/plus.lic should_work/plus.lus
PASS: ./lus2lic {-o /tmp/plus.lic should_work/plus.lus}
spawn ./lus2lic -ec -o /tmp/plus.ec should_work/plus.lus
PASS: ./lus2lic {-ec -o /tmp/plus.ec should_work/plus.lus}
spawn ./ec2c -o /tmp/plus.c /tmp/plus.ec
PASS: ./ec2c {-o /tmp/plus.c /tmp/plus.ec}
spawn ./lus2lic -o /tmp/xx.lic should_work/xx.lus
PASS: ./lus2lic {-o /tmp/xx.lic should_work/xx.lus}
spawn ./lus2lic -ec -o /tmp/xx.ec should_work/xx.lus
PASS: ./lus2lic {-ec -o /tmp/xx.ec should_work/xx.lus}
spawn ./ec2c -o /tmp/xx.c /tmp/xx.ec
PASS: ./ec2c {-o /tmp/xx.c /tmp/xx.ec}
spawn ./lus2lic -o /tmp/call07.lic should_work/call07.lus
PASS: ./lus2lic {-o /tmp/call07.lic should_work/call07.lus}
spawn ./lus2lic -ec -o /tmp/call07.ec should_work/call07.lus
PASS: ./lus2lic {-ec -o /tmp/call07.ec should_work/call07.lus}
spawn ./ec2c -o /tmp/call07.c /tmp/call07.ec
PASS: ./ec2c {-o /tmp/call07.c /tmp/call07.ec}
spawn ./lus2lic -o /tmp/shift_ludic.lic should_work/shift_ludic.lus
PASS: ./lus2lic {-o /tmp/shift_ludic.lic should_work/shift_ludic.lus}
spawn ./lus2lic -ec -o /tmp/shift_ludic.ec should_work/shift_ludic.lus
PASS: ./lus2lic {-ec -o /tmp/shift_ludic.ec should_work/shift_ludic.lus}
spawn ./ec2c -o /tmp/shift_ludic.c /tmp/shift_ludic.ec
PASS: ./ec2c {-o /tmp/shift_ludic.c /tmp/shift_ludic.ec}
spawn ./lus2lic -o /tmp/pilote-1.0.lic should_work/pilote-1.0.lus
PASS: ./lus2lic {-o /tmp/pilote-1.0.lic should_work/pilote-1.0.lus}
spawn ./lus2lic -ec -o /tmp/pilote-1.0.ec should_work/pilote-1.0.lus
PASS: ./lus2lic {-ec -o /tmp/pilote-1.0.ec should_work/pilote-1.0.lus}
spawn ./ec2c -o /tmp/pilote-1.0.c /tmp/pilote-1.0.ec
PASS: ./ec2c {-o /tmp/pilote-1.0.c /tmp/pilote-1.0.ec}
spawn ./lus2lic -o /tmp/trivial.lic should_work/trivial.lus
PASS: ./lus2lic {-o /tmp/trivial.lic should_work/trivial.lus}
spawn ./lus2lic -ec -o /tmp/trivial.ec should_work/trivial.lus
PASS: ./lus2lic {-ec -o /tmp/trivial.ec should_work/trivial.lus}
spawn ./ec2c -o /tmp/trivial.c /tmp/trivial.ec
PASS: ./ec2c {-o /tmp/trivial.c /tmp/trivial.ec}
spawn ./lus2lic -o /tmp/packs.lic should_work/packs.lus
PASS: ./lus2lic {-o /tmp/packs.lic should_work/packs.lus}
spawn ./lus2lic -ec -o /tmp/packs.ec should_work/packs.lus
PASS: ./lus2lic {-ec -o /tmp/packs.ec should_work/packs.lus}
spawn ./ec2c -o /tmp/packs.c /tmp/packs.ec
PASS: ./ec2c {-o /tmp/packs.c /tmp/packs.ec}
spawn ./lus2lic -o /tmp/sincos.lic should_work/sincos.lus
PASS: ./lus2lic {-o /tmp/sincos.lic should_work/sincos.lus}
spawn ./lus2lic -ec -o /tmp/sincos.ec should_work/sincos.lus
PASS: ./lus2lic {-ec -o /tmp/sincos.ec should_work/sincos.lus}
spawn ./ec2c -o /tmp/sincos.c /tmp/sincos.ec
PASS: ./ec2c {-o /tmp/sincos.c /tmp/sincos.ec}
spawn ./lus2lic -o /tmp/newpacks.lic should_work/newpacks.lus
PASS: ./lus2lic {-o /tmp/newpacks.lic should_work/newpacks.lus}
spawn ./lus2lic -ec -o /tmp/newpacks.ec should_work/newpacks.lus
PASS: ./lus2lic {-ec -o /tmp/newpacks.ec should_work/newpacks.lus}
spawn ./ec2c -o /tmp/newpacks.c /tmp/newpacks.ec
PASS: ./ec2c {-o /tmp/newpacks.c /tmp/newpacks.ec}
spawn ./lus2lic -o /tmp/morel5.lic should_work/morel5.lus
PASS: ./lus2lic {-o /tmp/morel5.lic should_work/morel5.lus}
spawn ./lus2lic -ec -o /tmp/morel5.ec should_work/morel5.lus
PASS: ./lus2lic {-ec -o /tmp/morel5.ec should_work/morel5.lus}
spawn ./ec2c -o /tmp/morel5.c /tmp/morel5.ec
PASS: ./ec2c {-o /tmp/morel5.c /tmp/morel5.ec}
spawn ./lus2lic -o /tmp/bred.lic should_work/bred.lus
PASS: ./lus2lic {-o /tmp/bred.lic should_work/bred.lus}
spawn ./lus2lic -ec -o /tmp/bred.ec should_work/bred.lus
PASS: ./lus2lic {-ec -o /tmp/bred.ec should_work/bred.lus}
spawn ./ec2c -o /tmp/bred.c /tmp/bred.ec
PASS: ./ec2c {-o /tmp/bred.c /tmp/bred.ec}
spawn ./lus2lic -o /tmp/tri.lic should_work/tri.lus
PASS: ./lus2lic {-o /tmp/tri.lic should_work/tri.lus}
spawn ./lus2lic -ec -o /tmp/tri.ec should_work/tri.lus
PASS: ./lus2lic {-ec -o /tmp/tri.ec should_work/tri.lus}
spawn ./ec2c -o /tmp/tri.c /tmp/tri.ec
PASS: ./ec2c {-o /tmp/tri.c /tmp/tri.ec}
spawn ./lus2lic -o /tmp/calculs_max.lic should_work/calculs_max.lus
PASS: ./lus2lic {-o /tmp/calculs_max.lic should_work/calculs_max.lus}
spawn ./lus2lic -ec -o /tmp/calculs_max.ec should_work/calculs_max.lus
PASS: ./lus2lic {-ec -o /tmp/calculs_max.ec should_work/calculs_max.lus}
spawn ./ec2c -o /tmp/calculs_max.c /tmp/calculs_max.ec
PASS: ./ec2c {-o /tmp/calculs_max.c /tmp/calculs_max.ec}
spawn ./lus2lic -o /tmp/testCA.lic should_work/testCA.lus
PASS: ./lus2lic {-o /tmp/testCA.lic should_work/testCA.lus}
spawn ./lus2lic -ec -o /tmp/testCA.ec should_work/testCA.lus
PASS: ./lus2lic {-ec -o /tmp/testCA.ec should_work/testCA.lus}
spawn ./ec2c -o /tmp/testCA.c /tmp/testCA.ec
PASS: ./ec2c {-o /tmp/testCA.c /tmp/testCA.ec}
spawn ./lus2lic -o /tmp/deconne.lic should_work/deconne.lus
PASS: ./lus2lic {-o /tmp/deconne.lic should_work/deconne.lus}
spawn ./lus2lic -ec -o /tmp/deconne.ec should_work/deconne.lus
PASS: ./lus2lic {-ec -o /tmp/deconne.ec should_work/deconne.lus}
spawn ./ec2c -o /tmp/deconne.c /tmp/deconne.ec
PASS: ./ec2c {-o /tmp/deconne.c /tmp/deconne.ec}
spawn ./lus2lic -o /tmp/noAlarm.lic should_work/noAlarm.lus
PASS: ./lus2lic {-o /tmp/noAlarm.lic should_work/noAlarm.lus}
spawn ./lus2lic -ec -o /tmp/noAlarm.ec should_work/noAlarm.lus
PASS: ./lus2lic {-ec -o /tmp/noAlarm.ec should_work/noAlarm.lus}
spawn ./ec2c -o /tmp/noAlarm.c /tmp/noAlarm.ec
PASS: ./ec2c {-o /tmp/noAlarm.c /tmp/noAlarm.ec}
spawn ./lus2lic -o /tmp/clock_ite.lic should_work/clock_ite.lus
PASS: ./lus2lic {-o /tmp/clock_ite.lic should_work/clock_ite.lus}
spawn ./lus2lic -ec -o /tmp/clock_ite.ec should_work/clock_ite.lus
PASS: ./lus2lic {-ec -o /tmp/clock_ite.ec should_work/clock_ite.lus}
spawn ./ec2c -o /tmp/clock_ite.c /tmp/clock_ite.ec
PASS: ./ec2c {-o /tmp/clock_ite.c /tmp/clock_ite.ec}
spawn ./lus2lic -o /tmp/morel4.lic should_work/morel4.lus
PASS: ./lus2lic {-o /tmp/morel4.lic should_work/morel4.lus}
spawn ./lus2lic -ec -o /tmp/morel4.ec should_work/morel4.lus
PASS: ./lus2lic {-ec -o /tmp/morel4.ec should_work/morel4.lus}
spawn ./ec2c -o /tmp/morel4.c /tmp/morel4.ec
PASS: ./ec2c {-o /tmp/morel4.c /tmp/morel4.ec}
spawn ./lus2lic -o /tmp/enum.lic should_work/enum.lus
PASS: ./lus2lic {-o /tmp/enum.lic should_work/enum.lus}
spawn ./lus2lic -ec -o /tmp/enum.ec should_work/enum.lus
PASS: ./lus2lic {-ec -o /tmp/enum.ec should_work/enum.lus}
spawn ./ec2c -o /tmp/enum.c /tmp/enum.ec
PASS: ./ec2c {-o /tmp/enum.c /tmp/enum.ec}
spawn ./lus2lic -o /tmp/param_node4.lic should_work/param_node4.lus
PASS: ./lus2lic {-o /tmp/param_node4.lic should_work/param_node4.lus}
spawn ./lus2lic -ec -o /tmp/param_node4.ec should_work/param_node4.lus
PASS: ./lus2lic {-ec -o /tmp/param_node4.ec should_work/param_node4.lus}
spawn ./ec2c -o /tmp/param_node4.c /tmp/param_node4.ec
PASS: ./ec2c {-o /tmp/param_node4.c /tmp/param_node4.ec}
spawn ./lus2lic -o /tmp/bad_call03.lic should_work/bad_call03.lus
PASS: ./lus2lic {-o /tmp/bad_call03.lic should_work/bad_call03.lus}
spawn ./lus2lic -ec -o /tmp/bad_call03.ec should_work/bad_call03.lus
PASS: ./lus2lic {-ec -o /tmp/bad_call03.ec should_work/bad_call03.lus}
spawn ./ec2c -o /tmp/bad_call03.c /tmp/bad_call03.ec
PASS: ./ec2c {-o /tmp/bad_call03.c /tmp/bad_call03.ec}
spawn ./lus2lic -o /tmp/onlyroll.lic should_work/onlyroll.lus
PASS: ./lus2lic {-o /tmp/onlyroll.lic should_work/onlyroll.lus}
spawn ./lus2lic -ec -o /tmp/onlyroll.ec should_work/onlyroll.lus
Erwan Jahier
committed
PASS: ./lus2lic {-ec -o /tmp/onlyroll.ec should_work/onlyroll.lus}
spawn ./ec2c -o /tmp/onlyroll.c /tmp/onlyroll.ec
PASS: ./ec2c {-o /tmp/onlyroll.c /tmp/onlyroll.ec}
spawn ./lus2lic -o /tmp/produitBool.lic should_work/produitBool.lus
PASS: ./lus2lic {-o /tmp/produitBool.lic should_work/produitBool.lus}
spawn ./lus2lic -ec -o /tmp/produitBool.ec should_work/produitBool.lus
PASS: ./lus2lic {-ec -o /tmp/produitBool.ec should_work/produitBool.lus}
spawn ./ec2c -o /tmp/produitBool.c /tmp/produitBool.ec
PASS: ./ec2c {-o /tmp/produitBool.c /tmp/produitBool.ec}
spawn ./lus2lic -o /tmp/noeudsIndependants.lic should_work/noeudsIndependants.lus
PASS: ./lus2lic {-o /tmp/noeudsIndependants.lic should_work/noeudsIndependants.lus}
spawn ./lus2lic -ec -o /tmp/noeudsIndependants.ec should_work/noeudsIndependants.lus
PASS: ./lus2lic {-ec -o /tmp/noeudsIndependants.ec should_work/noeudsIndependants.lus}
spawn ./ec2c -o /tmp/noeudsIndependants.c /tmp/noeudsIndependants.ec
PASS: ./ec2c {-o /tmp/noeudsIndependants.c /tmp/noeudsIndependants.ec}
spawn ./lus2lic -o /tmp/mouse.lic should_work/mouse.lus
PASS: ./lus2lic {-o /tmp/mouse.lic should_work/mouse.lus}
spawn ./lus2lic -ec -o /tmp/mouse.ec should_work/mouse.lus
PASS: ./lus2lic {-ec -o /tmp/mouse.ec should_work/mouse.lus}
spawn ./ec2c -o /tmp/mouse.c /tmp/mouse.ec
PASS: ./ec2c {-o /tmp/mouse.c /tmp/mouse.ec}
spawn ./lus2lic -o /tmp/param_node3.lic should_work/param_node3.lus
PASS: ./lus2lic {-o /tmp/param_node3.lic should_work/param_node3.lus}
spawn ./lus2lic -ec -o /tmp/param_node3.ec should_work/param_node3.lus
PASS: ./lus2lic {-ec -o /tmp/param_node3.ec should_work/param_node3.lus}
spawn ./ec2c -o /tmp/param_node3.c /tmp/param_node3.ec
PASS: ./ec2c {-o /tmp/param_node3.c /tmp/param_node3.ec}
spawn ./lus2lic -o /tmp/pipeline.lic should_work/pipeline.lus
PASS: ./lus2lic {-o /tmp/pipeline.lic should_work/pipeline.lus}
spawn ./lus2lic -ec -o /tmp/pipeline.ec should_work/pipeline.lus
PASS: ./lus2lic {-ec -o /tmp/pipeline.ec should_work/pipeline.lus}
spawn ./ec2c -o /tmp/pipeline.c /tmp/pipeline.ec
PASS: ./ec2c {-o /tmp/pipeline.c /tmp/pipeline.ec}
spawn ./lus2lic -o /tmp/mapinf.lic should_work/mapinf.lus
PASS: ./lus2lic {-o /tmp/mapinf.lic should_work/mapinf.lus}
spawn ./lus2lic -ec -o /tmp/mapinf.ec should_work/mapinf.lus
PASS: ./lus2lic {-ec -o /tmp/mapinf.ec should_work/mapinf.lus}
spawn ./ec2c -o /tmp/mapinf.c /tmp/mapinf.ec
PASS: ./ec2c {-o /tmp/mapinf.c /tmp/mapinf.ec}
spawn ./lus2lic -o /tmp/integrator.lic should_work/integrator.lus
PASS: ./lus2lic {-o /tmp/integrator.lic should_work/integrator.lus}
spawn ./lus2lic -ec -o /tmp/integrator.ec should_work/integrator.lus
PASS: ./lus2lic {-ec -o /tmp/integrator.ec should_work/integrator.lus}
spawn ./ec2c -o /tmp/integrator.c /tmp/integrator.ec
PASS: ./ec2c {-o /tmp/integrator.c /tmp/integrator.ec}
spawn ./lus2lic -o /tmp/nc4.lic should_work/nc4.lus
PASS: ./lus2lic {-o /tmp/nc4.lic should_work/nc4.lus}
spawn ./lus2lic -ec -o /tmp/nc4.ec should_work/nc4.lus
PASS: ./lus2lic {-ec -o /tmp/nc4.ec should_work/nc4.lus}
spawn ./ec2c -o /tmp/nc4.c /tmp/nc4.ec
PASS: ./ec2c {-o /tmp/nc4.c /tmp/nc4.ec}
spawn ./lus2lic -o /tmp/mm3.lic should_work/mm3.lus
PASS: ./lus2lic {-o /tmp/mm3.lic should_work/mm3.lus}
spawn ./lus2lic -ec -o /tmp/mm3.ec should_work/mm3.lus
PASS: ./lus2lic {-ec -o /tmp/mm3.ec should_work/mm3.lus}
spawn ./ec2c -o /tmp/mm3.c /tmp/mm3.ec
PASS: ./ec2c {-o /tmp/mm3.c /tmp/mm3.ec}
spawn ./lus2lic -o /tmp/over2.lic should_work/over2.lus
PASS: ./lus2lic {-o /tmp/over2.lic should_work/over2.lus}
spawn ./lus2lic -ec -o /tmp/over2.ec should_work/over2.lus
PASS: ./lus2lic {-ec -o /tmp/over2.ec should_work/over2.lus}
spawn ./ec2c -o /tmp/over2.c /tmp/over2.ec
PASS: ./ec2c {-o /tmp/over2.c /tmp/over2.ec}
spawn ./lus2lic -o /tmp/over3.lic should_work/over3.lus
PASS: ./lus2lic {-o /tmp/over3.lic should_work/over3.lus}
spawn ./lus2lic -ec -o /tmp/over3.ec should_work/over3.lus
PASS: ./lus2lic {-ec -o /tmp/over3.ec should_work/over3.lus}
spawn ./ec2c -o /tmp/over3.c /tmp/over3.ec
PASS: ./ec2c {-o /tmp/over3.c /tmp/over3.ec}
spawn ./lus2lic -o /tmp/complex.lic should_work/complex.lus
PASS: ./lus2lic {-o /tmp/complex.lic should_work/complex.lus}
spawn ./lus2lic -ec -o /tmp/complex.ec should_work/complex.lus
PASS: ./lus2lic {-ec -o /tmp/complex.ec should_work/complex.lus}
spawn ./ec2c -o /tmp/complex.c /tmp/complex.ec
PASS: ./ec2c {-o /tmp/complex.c /tmp/complex.ec}
spawn ./lus2lic -o /tmp/initial.lic should_work/initial.lus
PASS: ./lus2lic {-o /tmp/initial.lic should_work/initial.lus}
spawn ./lus2lic -ec -o /tmp/initial.ec should_work/initial.lus
PASS: ./lus2lic {-ec -o /tmp/initial.ec should_work/initial.lus}
spawn ./ec2c -o /tmp/initial.c /tmp/initial.ec
PASS: ./ec2c {-o /tmp/initial.c /tmp/initial.ec}
spawn ./lus2lic -o /tmp/declaration.lic should_work/declaration.lus
PASS: ./lus2lic {-o /tmp/declaration.lic should_work/declaration.lus}
spawn ./lus2lic -ec -o /tmp/declaration.ec should_work/declaration.lus
PASS: ./lus2lic {-ec -o /tmp/declaration.ec should_work/declaration.lus}
spawn ./ec2c -o /tmp/declaration.c /tmp/declaration.ec
PASS: ./ec2c {-o /tmp/declaration.c /tmp/declaration.ec}
spawn ./lus2lic -o /tmp/PCOND1.lic should_work/PCOND1.lus
PASS: ./lus2lic {-o /tmp/PCOND1.lic should_work/PCOND1.lus}
spawn ./lus2lic -ec -o /tmp/PCOND1.ec should_work/PCOND1.lus
PASS: ./lus2lic {-ec -o /tmp/PCOND1.ec should_work/PCOND1.lus}
spawn ./ec2c -o /tmp/PCOND1.c /tmp/PCOND1.ec
PASS: ./ec2c {-o /tmp/PCOND1.c /tmp/PCOND1.ec}
spawn ./lus2lic -o /tmp/TIME_STABLE1.lic should_work/TIME_STABLE1.lus
PASS: ./lus2lic {-o /tmp/TIME_STABLE1.lic should_work/TIME_STABLE1.lus}
spawn ./lus2lic -ec -o /tmp/TIME_STABLE1.ec should_work/TIME_STABLE1.lus
PASS: ./lus2lic {-ec -o /tmp/TIME_STABLE1.ec should_work/TIME_STABLE1.lus}
spawn ./ec2c -o /tmp/TIME_STABLE1.c /tmp/TIME_STABLE1.ec
PASS: ./ec2c {-o /tmp/TIME_STABLE1.c /tmp/TIME_STABLE1.ec}
spawn ./lus2lic -o /tmp/nc5.lic should_work/nc5.lus
PASS: ./lus2lic {-o /tmp/nc5.lic should_work/nc5.lus}
spawn ./lus2lic -ec -o /tmp/nc5.ec should_work/nc5.lus
PASS: ./lus2lic {-ec -o /tmp/nc5.ec should_work/nc5.lus}
spawn ./ec2c -o /tmp/nc5.c /tmp/nc5.ec
PASS: ./ec2c {-o /tmp/nc5.c /tmp/nc5.ec}
spawn ./lus2lic -o /tmp/call.lic should_work/call.lus
PASS: ./lus2lic {-o /tmp/call.lic should_work/call.lus}
spawn ./lus2lic -ec -o /tmp/call.ec should_work/call.lus
PASS: ./lus2lic {-ec -o /tmp/call.ec should_work/call.lus}
spawn ./ec2c -o /tmp/call.c /tmp/call.ec
PASS: ./ec2c {-o /tmp/call.c /tmp/call.ec}
spawn ./lus2lic -o /tmp/mouse1.lic should_work/mouse1.lus
PASS: ./lus2lic {-o /tmp/mouse1.lic should_work/mouse1.lus}
spawn ./lus2lic -ec -o /tmp/mouse1.ec should_work/mouse1.lus
PASS: ./lus2lic {-ec -o /tmp/mouse1.ec should_work/mouse1.lus}
spawn ./ec2c -o /tmp/mouse1.c /tmp/mouse1.ec
PASS: ./ec2c {-o /tmp/mouse1.c /tmp/mouse1.ec}
spawn ./lus2lic -o /tmp/lustre_test1_ok.lic should_work/lustre_test1_ok.lus
PASS: ./lus2lic {-o /tmp/lustre_test1_ok.lic should_work/lustre_test1_ok.lus}
spawn ./lus2lic -ec -o /tmp/lustre_test1_ok.ec should_work/lustre_test1_ok.lus
PASS: ./lus2lic {-ec -o /tmp/lustre_test1_ok.ec should_work/lustre_test1_ok.lus}
spawn ./ec2c -o /tmp/lustre_test1_ok.c /tmp/lustre_test1_ok.ec
PASS: ./ec2c {-o /tmp/lustre_test1_ok.c /tmp/lustre_test1_ok.ec}
spawn ./lus2lic -o /tmp/compteur.lic should_work/compteur.lus
PASS: ./lus2lic {-o /tmp/compteur.lic should_work/compteur.lus}
spawn ./lus2lic -ec -o /tmp/compteur.ec should_work/compteur.lus
PASS: ./lus2lic {-ec -o /tmp/compteur.ec should_work/compteur.lus}
spawn ./ec2c -o /tmp/compteur.c /tmp/compteur.ec
PASS: ./ec2c {-o /tmp/compteur.c /tmp/compteur.ec}
spawn ./lus2lic -o /tmp/Int.lic should_work/Int.lus
PASS: ./lus2lic {-o /tmp/Int.lic should_work/Int.lus}
spawn ./lus2lic -ec -o /tmp/Int.ec should_work/Int.lus
PASS: ./lus2lic {-ec -o /tmp/Int.ec should_work/Int.lus}
spawn ./ec2c -o /tmp/Int.c /tmp/Int.ec
PASS: ./ec2c {-o /tmp/Int.c /tmp/Int.ec}
spawn ./lus2lic -o /tmp/t2.lic should_work/t2.lus
PASS: ./lus2lic {-o /tmp/t2.lic should_work/t2.lus}
spawn ./lus2lic -ec -o /tmp/t2.ec should_work/t2.lus
PASS: ./lus2lic {-ec -o /tmp/t2.ec should_work/t2.lus}
spawn ./ec2c -o /tmp/t2.c /tmp/t2.ec
PASS: ./ec2c {-o /tmp/t2.c /tmp/t2.ec}
spawn ./lus2lic -o /tmp/arbitre.lic should_work/arbitre.lus
PASS: ./lus2lic {-o /tmp/arbitre.lic should_work/arbitre.lus}
spawn ./lus2lic -ec -o /tmp/arbitre.ec should_work/arbitre.lus
PASS: ./lus2lic {-ec -o /tmp/arbitre.ec should_work/arbitre.lus}
spawn ./ec2c -o /tmp/arbitre.c /tmp/arbitre.ec
PASS: ./ec2c {-o /tmp/arbitre.c /tmp/arbitre.ec}
spawn ./lus2lic -o /tmp/test_const.lic should_work/test_const.lus
PASS: ./lus2lic {-o /tmp/test_const.lic should_work/test_const.lus}
spawn ./lus2lic -ec -o /tmp/test_const.ec should_work/test_const.lus
PASS: ./lus2lic {-ec -o /tmp/test_const.ec should_work/test_const.lus}
spawn ./ec2c -o /tmp/test_const.c /tmp/test_const.ec
PASS: ./ec2c {-o /tmp/test_const.c /tmp/test_const.ec}
spawn ./lus2lic -o /tmp/when_tuple.lic should_work/when_tuple.lus
PASS: ./lus2lic {-o /tmp/when_tuple.lic should_work/when_tuple.lus}
spawn ./lus2lic -ec -o /tmp/when_tuple.ec should_work/when_tuple.lus
PASS: ./lus2lic {-ec -o /tmp/when_tuple.ec should_work/when_tuple.lus}
spawn ./ec2c -o /tmp/when_tuple.c /tmp/when_tuple.ec
PASS: ./ec2c {-o /tmp/when_tuple.c /tmp/when_tuple.ec}
spawn ./lus2lic -o /tmp/FillFollowedByRed.lic should_work/FillFollowedByRed.lus
PASS: ./lus2lic {-o /tmp/FillFollowedByRed.lic should_work/FillFollowedByRed.lus}
spawn ./lus2lic -ec -o /tmp/FillFollowedByRed.ec should_work/FillFollowedByRed.lus
PASS: ./lus2lic {-ec -o /tmp/FillFollowedByRed.ec should_work/FillFollowedByRed.lus}
spawn ./ec2c -o /tmp/FillFollowedByRed.c /tmp/FillFollowedByRed.ec
PASS: ./ec2c {-o /tmp/FillFollowedByRed.c /tmp/FillFollowedByRed.ec}
spawn ./lus2lic -o /tmp/sample_time_change.lic should_work/sample_time_change.lus
PASS: ./lus2lic {-o /tmp/sample_time_change.lic should_work/sample_time_change.lus}
spawn ./lus2lic -ec -o /tmp/sample_time_change.ec should_work/sample_time_change.lus
PASS: ./lus2lic {-ec -o /tmp/sample_time_change.ec should_work/sample_time_change.lus}
spawn ./ec2c -o /tmp/sample_time_change.c /tmp/sample_time_change.ec
PASS: ./ec2c {-o /tmp/sample_time_change.c /tmp/sample_time_change.ec}
spawn ./lus2lic -o /tmp/predef01.lic should_work/predef01.lus
PASS: ./lus2lic {-o /tmp/predef01.lic should_work/predef01.lus}
spawn ./lus2lic -ec -o /tmp/predef01.ec should_work/predef01.lus
PASS: ./lus2lic {-ec -o /tmp/predef01.ec should_work/predef01.lus}
spawn ./ec2c -o /tmp/predef01.c /tmp/predef01.ec
PASS: ./ec2c {-o /tmp/predef01.c /tmp/predef01.ec}
spawn ./lus2lic -o /tmp/long_et_stupide_nom_de_noeud.lic should_work/long_et_stupide_nom_de_noeud.lus
PASS: ./lus2lic {-o /tmp/long_et_stupide_nom_de_noeud.lic should_work/long_et_stupide_nom_de_noeud.lus}
spawn ./lus2lic -ec -o /tmp/long_et_stupide_nom_de_noeud.ec should_work/long_et_stupide_nom_de_noeud.lus
PASS: ./lus2lic {-ec -o /tmp/long_et_stupide_nom_de_noeud.ec should_work/long_et_stupide_nom_de_noeud.lus}
spawn ./ec2c -o /tmp/long_et_stupide_nom_de_noeud.c /tmp/long_et_stupide_nom_de_noeud.ec
PASS: ./ec2c {-o /tmp/long_et_stupide_nom_de_noeud.c /tmp/long_et_stupide_nom_de_noeud.ec}
spawn ./lus2lic -o /tmp/CURRENT.lic should_work/CURRENT.lus
PASS: ./lus2lic {-o /tmp/CURRENT.lic should_work/CURRENT.lus}
spawn ./lus2lic -ec -o /tmp/CURRENT.ec should_work/CURRENT.lus
PASS: ./lus2lic {-ec -o /tmp/CURRENT.ec should_work/CURRENT.lus}
spawn ./ec2c -o /tmp/CURRENT.c /tmp/CURRENT.ec
PASS: ./ec2c {-o /tmp/CURRENT.c /tmp/CURRENT.ec}
spawn ./lus2lic -o /tmp/left.lic should_work/left.lus
PASS: ./lus2lic {-o /tmp/left.lic should_work/left.lus}
spawn ./lus2lic -ec -o /tmp/left.ec should_work/left.lus
PASS: ./lus2lic {-ec -o /tmp/left.ec should_work/left.lus}
spawn ./ec2c -o /tmp/left.c /tmp/left.ec
PASS: ./ec2c {-o /tmp/left.c /tmp/left.ec}
spawn ./lus2lic -o /tmp/ts04.lic should_work/ts04.lus
PASS: ./lus2lic {-o /tmp/ts04.lic should_work/ts04.lus}
spawn ./lus2lic -ec -o /tmp/ts04.ec should_work/ts04.lus
PASS: ./lus2lic {-ec -o /tmp/ts04.ec should_work/ts04.lus}
spawn ./ec2c -o /tmp/ts04.c /tmp/ts04.ec
PASS: ./ec2c {-o /tmp/ts04.c /tmp/ts04.ec}
spawn ./lus2lic -o /tmp/bug_map_fby.lic should_work/bug_map_fby.lus
*** Error in file "/home/jahier/lus2lic/test/should_work/bug_map_fby.lus", line 33, col 13 to 15, token 'fby':
*** Bad static argument nature, a node was expected
FAIL: without any option: ./lus2lic {-o /tmp/bug_map_fby.lic should_work/bug_map_fby.lus}
spawn ./lus2lic -ec -o /tmp/bug_map_fby.ec should_work/bug_map_fby.lus
*** Error in file "/home/jahier/lus2lic/test/should_work/bug_map_fby.lus", line 33, col 13 to 15, token 'fby':
*** Bad static argument nature, a node was expected
FAIL: Generate ec code : ./lus2lic {-ec -o /tmp/bug_map_fby.ec should_work/bug_map_fby.lus}
spawn ./lus2lic -o /tmp/multiclock.lic should_work/multiclock.lus
PASS: ./lus2lic {-o /tmp/multiclock.lic should_work/multiclock.lus}
spawn ./lus2lic -ec -o /tmp/multiclock.ec should_work/multiclock.lus
PASS: ./lus2lic {-ec -o /tmp/multiclock.ec should_work/multiclock.lus}
spawn ./ec2c -o /tmp/multiclock.c /tmp/multiclock.ec
PASS: ./ec2c {-o /tmp/multiclock.c /tmp/multiclock.ec}
spawn ./lus2lic -o /tmp/nc2.lic should_work/nc2.lus
PASS: ./lus2lic {-o /tmp/nc2.lic should_work/nc2.lus}
spawn ./lus2lic -ec -o /tmp/nc2.ec should_work/nc2.lus
PASS: ./lus2lic {-ec -o /tmp/nc2.ec should_work/nc2.lus}
spawn ./ec2c -o /tmp/nc2.c /tmp/nc2.ec
PASS: ./ec2c {-o /tmp/nc2.c /tmp/nc2.ec}
spawn ./lus2lic -o /tmp/morel.lic should_work/morel.lus
PASS: ./lus2lic {-o /tmp/morel.lic should_work/morel.lus}
spawn ./lus2lic -ec -o /tmp/morel.ec should_work/morel.lus
PASS: ./lus2lic {-ec -o /tmp/morel.ec should_work/morel.lus}
spawn ./ec2c -o /tmp/morel.c /tmp/morel.ec
PASS: ./ec2c {-o /tmp/morel.c /tmp/morel.ec}
spawn ./lus2lic -o /tmp/SOURIS.lic should_work/SOURIS.lus
PASS: ./lus2lic {-o /tmp/SOURIS.lic should_work/SOURIS.lus}
spawn ./lus2lic -ec -o /tmp/SOURIS.ec should_work/SOURIS.lus
PASS: ./lus2lic {-ec -o /tmp/SOURIS.ec should_work/SOURIS.lus}
spawn ./ec2c -o /tmp/SOURIS.c /tmp/SOURIS.ec
PASS: ./ec2c {-o /tmp/SOURIS.c /tmp/SOURIS.ec}
spawn ./lus2lic -o /tmp/param_node2.lic should_work/param_node2.lus
PASS: ./lus2lic {-o /tmp/param_node2.lic should_work/param_node2.lus}
spawn ./lus2lic -ec -o /tmp/param_node2.ec should_work/param_node2.lus
PASS: ./lus2lic {-ec -o /tmp/param_node2.ec should_work/param_node2.lus}
spawn ./ec2c -o /tmp/param_node2.c /tmp/param_node2.ec
PASS: ./ec2c {-o /tmp/param_node2.c /tmp/param_node2.ec}
spawn ./lus2lic -o /tmp/o2l_feux_compl.lic should_work/o2l_feux_compl.lus
PASS: ./lus2lic {-o /tmp/o2l_feux_compl.lic should_work/o2l_feux_compl.lus}
spawn ./lus2lic -ec -o /tmp/o2l_feux_compl.ec should_work/o2l_feux_compl.lus
PASS: ./lus2lic {-ec -o /tmp/o2l_feux_compl.ec should_work/o2l_feux_compl.lus}
spawn ./ec2c -o /tmp/o2l_feux_compl.c /tmp/o2l_feux_compl.ec
PASS: ./ec2c {-o /tmp/o2l_feux_compl.c /tmp/o2l_feux_compl.ec}
spawn ./lus2lic -o /tmp/model.lic should_work/model.lus
PASS: ./lus2lic {-o /tmp/model.lic should_work/model.lus}
spawn ./lus2lic -ec -o /tmp/model.ec should_work/model.lus
PASS: ./lus2lic {-ec -o /tmp/model.ec should_work/model.lus}
spawn ./ec2c -o /tmp/model.c /tmp/model.ec
PASS: ./ec2c {-o /tmp/model.c /tmp/model.ec}
spawn ./lus2lic -o /tmp/matrice.lic should_work/matrice.lus
PASS: ./lus2lic {-o /tmp/matrice.lic should_work/matrice.lus}
spawn ./lus2lic -ec -o /tmp/matrice.ec should_work/matrice.lus
PASS: ./lus2lic {-ec -o /tmp/matrice.ec should_work/matrice.lus}
spawn ./ec2c -o /tmp/matrice.c /tmp/matrice.ec
PASS: ./ec2c {-o /tmp/matrice.c /tmp/matrice.ec}
spawn ./lus2lic -o /tmp/TIME_STABLE.lic should_work/TIME_STABLE.lus
PASS: ./lus2lic {-o /tmp/TIME_STABLE.lic should_work/TIME_STABLE.lus}
spawn ./lus2lic -ec -o /tmp/TIME_STABLE.ec should_work/TIME_STABLE.lus
PASS: ./lus2lic {-ec -o /tmp/TIME_STABLE.ec should_work/TIME_STABLE.lus}
spawn ./ec2c -o /tmp/TIME_STABLE.c /tmp/TIME_STABLE.ec
PASS: ./ec2c {-o /tmp/TIME_STABLE.c /tmp/TIME_STABLE.ec}
spawn ./lus2lic -o /tmp/cpt.lic should_work/cpt.lus
PASS: ./lus2lic {-o /tmp/cpt.lic should_work/cpt.lus}
spawn ./lus2lic -ec -o /tmp/cpt.ec should_work/cpt.lus
PASS: ./lus2lic {-ec -o /tmp/cpt.ec should_work/cpt.lus}
spawn ./ec2c -o /tmp/cpt.c /tmp/cpt.ec
PASS: ./ec2c {-o /tmp/cpt.c /tmp/cpt.ec}
spawn ./lus2lic -o /tmp/multipar.lic should_work/multipar.lus
PASS: ./lus2lic {-o /tmp/multipar.lic should_work/multipar.lus}
spawn ./lus2lic -ec -o /tmp/multipar.ec should_work/multipar.lus
PASS: ./lus2lic {-ec -o /tmp/multipar.ec should_work/multipar.lus}
spawn ./ec2c -o /tmp/multipar.c /tmp/multipar.ec
PASS: ./ec2c {-o /tmp/multipar.c /tmp/multipar.ec}
spawn ./lus2lic -o /tmp/activation_ec.lic should_work/activation_ec.lus
PASS: ./lus2lic {-o /tmp/activation_ec.lic should_work/activation_ec.lus}
spawn ./lus2lic -ec -o /tmp/activation_ec.ec should_work/activation_ec.lus
PASS: ./lus2lic {-ec -o /tmp/activation_ec.ec should_work/activation_ec.lus}
spawn ./ec2c -o /tmp/activation_ec.c /tmp/activation_ec.ec
PASS: ./ec2c {-o /tmp/activation_ec.c /tmp/activation_ec.ec}
spawn ./lus2lic -o /tmp/impl_priority.lic should_work/impl_priority.lus
PASS: ./lus2lic {-o /tmp/impl_priority.lic should_work/impl_priority.lus}
spawn ./lus2lic -ec -o /tmp/impl_priority.ec should_work/impl_priority.lus
PASS: ./lus2lic {-ec -o /tmp/impl_priority.ec should_work/impl_priority.lus}
spawn ./ec2c -o /tmp/impl_priority.c /tmp/impl_priority.ec
PASS: ./ec2c {-o /tmp/impl_priority.c /tmp/impl_priority.ec}
spawn ./lus2lic -o /tmp/exclusion.lic should_work/exclusion.lus
PASS: ./lus2lic {-o /tmp/exclusion.lic should_work/exclusion.lus}
spawn ./lus2lic -ec -o /tmp/exclusion.ec should_work/exclusion.lus
PASS: ./lus2lic {-ec -o /tmp/exclusion.ec should_work/exclusion.lus}
spawn ./ec2c -o /tmp/exclusion.c /tmp/exclusion.ec
PASS: ./ec2c {-o /tmp/exclusion.c /tmp/exclusion.ec}
spawn ./lus2lic -o /tmp/ply01.lic should_work/ply01.lus
PASS: ./lus2lic {-o /tmp/ply01.lic should_work/ply01.lus}
spawn ./lus2lic -ec -o /tmp/ply01.ec should_work/ply01.lus
PASS: ./lus2lic {-ec -o /tmp/ply01.ec should_work/ply01.lus}
spawn ./ec2c -o /tmp/ply01.c /tmp/ply01.ec
PASS: ./ec2c {-o /tmp/ply01.c /tmp/ply01.ec}
spawn ./lus2lic -o /tmp/consensus.lic should_work/consensus.lus
PASS: ./lus2lic {-o /tmp/consensus.lic should_work/consensus.lus}
spawn ./lus2lic -ec -o /tmp/consensus.ec should_work/consensus.lus
PASS: ./lus2lic {-ec -o /tmp/consensus.ec should_work/consensus.lus}
spawn ./ec2c -o /tmp/consensus.c /tmp/consensus.ec
PASS: ./ec2c {-o /tmp/consensus.c /tmp/consensus.ec}
spawn ./lus2lic -o /tmp/activation2.lic should_work/activation2.lus
PASS: ./lus2lic {-o /tmp/activation2.lic should_work/activation2.lus}
spawn ./lus2lic -ec -o /tmp/activation2.ec should_work/activation2.lus
PASS: ./lus2lic {-ec -o /tmp/activation2.ec should_work/activation2.lus}
spawn ./ec2c -o /tmp/activation2.c /tmp/activation2.ec
PASS: ./ec2c {-o /tmp/activation2.c /tmp/activation2.ec}
spawn ./lus2lic -o /tmp/type_decl.lic should_work/type_decl.lus
PASS: ./lus2lic {-o /tmp/type_decl.lic should_work/type_decl.lus}
spawn ./lus2lic -ec -o /tmp/type_decl.ec should_work/type_decl.lus
PASS: ./lus2lic {-ec -o /tmp/type_decl.ec should_work/type_decl.lus}
spawn ./ec2c -o /tmp/type_decl.c /tmp/type_decl.ec
PASS: ./ec2c {-o /tmp/type_decl.c /tmp/type_decl.ec}
spawn ./lus2lic -o /tmp/import1.lic should_work/import1.lus
PASS: ./lus2lic {-o /tmp/import1.lic should_work/import1.lus}
spawn ./lus2lic -ec -o /tmp/import1.ec should_work/import1.lus
PASS: ./lus2lic {-ec -o /tmp/import1.ec should_work/import1.lus}
spawn ./ec2c -o /tmp/import1.c /tmp/import1.ec
PASS: ./ec2c {-o /tmp/import1.c /tmp/import1.ec}
spawn ./lus2lic -o /tmp/pack1.lic should_work/pack1.lus
PASS: ./lus2lic {-o /tmp/pack1.lic should_work/pack1.lus}
spawn ./lus2lic -ec -o /tmp/pack1.ec should_work/pack1.lus
PASS: ./lus2lic {-ec -o /tmp/pack1.ec should_work/pack1.lus}
spawn ./ec2c -o /tmp/pack1.c /tmp/pack1.ec
PASS: ./ec2c {-o /tmp/pack1.c /tmp/pack1.ec}
spawn ./lus2lic -o /tmp/bob.lic should_work/bob.lus
PASS: ./lus2lic {-o /tmp/bob.lic should_work/bob.lus}
spawn ./lus2lic -ec -o /tmp/bob.ec should_work/bob.lus
PASS: ./lus2lic {-ec -o /tmp/bob.ec should_work/bob.lus}
spawn ./ec2c -o /tmp/bob.c /tmp/bob.ec
PASS: ./ec2c {-o /tmp/bob.c /tmp/bob.ec}
spawn ./lus2lic -o /tmp/notTwo.lic should_work/notTwo.lus
PASS: ./lus2lic {-o /tmp/notTwo.lic should_work/notTwo.lus}
spawn ./lus2lic -ec -o /tmp/notTwo.ec should_work/notTwo.lus
PASS: ./lus2lic {-ec -o /tmp/notTwo.ec should_work/notTwo.lus}
spawn ./ec2c -o /tmp/notTwo.c /tmp/notTwo.ec
PASS: ./ec2c {-o /tmp/notTwo.c /tmp/notTwo.ec}
spawn ./lus2lic -o /tmp/struct.lic should_work/struct.lus
PASS: ./lus2lic {-o /tmp/struct.lic should_work/struct.lus}
spawn ./lus2lic -ec -o /tmp/struct.ec should_work/struct.lus
PASS: ./lus2lic {-ec -o /tmp/struct.ec should_work/struct.lus}
spawn ./ec2c -o /tmp/struct.c /tmp/struct.ec
PASS: ./ec2c {-o /tmp/struct.c /tmp/struct.ec}
spawn ./lus2lic -o /tmp/stopwatch.lic should_work/stopwatch.lus
PASS: ./lus2lic {-o /tmp/stopwatch.lic should_work/stopwatch.lus}
spawn ./lus2lic -ec -o /tmp/stopwatch.ec should_work/stopwatch.lus
PASS: ./lus2lic {-ec -o /tmp/stopwatch.ec should_work/stopwatch.lus}
spawn ./ec2c -o /tmp/stopwatch.c /tmp/stopwatch.ec
PASS: ./ec2c {-o /tmp/stopwatch.c /tmp/stopwatch.ec}
spawn ./lus2lic -o /tmp/contractForElementSelectionInArray.lic should_work/contractForElementSelectionInArray.lus
PASS: ./lus2lic {-o /tmp/contractForElementSelectionInArray.lic should_work/contractForElementSelectionInArray.lus}
spawn ./lus2lic -ec -o /tmp/contractForElementSelectionInArray.ec should_work/contractForElementSelectionInArray.lus
PASS: ./lus2lic {-ec -o /tmp/contractForElementSelectionInArray.ec should_work/contractForElementSelectionInArray.lus}
spawn ./ec2c -o /tmp/contractForElementSelectionInArray.c /tmp/contractForElementSelectionInArray.ec
PASS: ./ec2c {-o /tmp/contractForElementSelectionInArray.c /tmp/contractForElementSelectionInArray.ec}
spawn ./lus2lic -o /tmp/iterFibo.lic should_work/iterFibo.lus
PASS: ./lus2lic {-o /tmp/iterFibo.lic should_work/iterFibo.lus}
spawn ./lus2lic -ec -o /tmp/iterFibo.ec should_work/iterFibo.lus