todo.org

lus2lic -exec

oops: lus2lic internal error

• State “TODO” from “” [2013-05-10 Fri 18:05]

File “objlinux/lic2soc.ml”, line 680, column 18 when compiling lustre program should_work/left.lus

oops: lus2lic internal error

• State “TODO” from “” [2013-05-13 Mon 08:11]

File “objlinux/lic2soc.ml”, line 870, column 14 when compiling lustre program should_work/decl.lus

../utils/test_lus2lic_no_node should_work/decl.lus

oops: lus2lic internal error

• State “TODO” from “” [2013-05-14 Tue 14:35]

File “objlinux/socExec.ml”, line 202, column 22 when compiling lustre program should_work/simple.lus

../utils/test_lus2lic_no_node should_work/simple.lus

internal error

• State “TODO” from “” [2013-05-10 Fri 17:19]

File “objlinux/unifyType.ml”, line 106, column 3 ../utils/test_lus2lic_no_node should_work/t1.lus

pb gen-autotest

../utils/test_lus2lic_no_node should_work/plus.lus

• ./lus2lic _plus_oracle.lus -n plus_oracle -lv4 -eei -en –no-prefix -o lv4_plus_oracle.lus

Error in file “/home/jahier/lus2lic/test/_plus_oracle.lus”, line 6, col 28 to 28, token ‘=’: tuple size error: the tuple size is 4 for the left-hand-side, and 1 for the right-hand-side (in c_bis,d_bis,e_bis,f_bis = a + b)

et aussi : ../utils/test_lus2lic_no_node should_work/bred.lus ../utils/test_lus2lic_no_node should_work/alias.lus ../utils/test_lus2lic_no_node should_work/bred_lv4.lus ../utils/test_lus2lic_no_node should_work/minus.lus

Lurette trouve un mismatch sur ce prog au step 0

• State “TODO” from “” [2013-05-10 Fri 17:08]

../utils/test_lus2lic_no_node should_work/exclusion.lus ../utils/test_lus2lic_no_node should_work/mapdeRed.lus ../utils/test_lus2lic_no_node should_work/matrice.lus ../utils/test_lus2lic_no_node should_work/over2.lus ../utils/test_lus2lic_no_node should_work/mapiter.lus ../utils/test_lus2lic_no_node should_work/arrays.lus

Lurette trouve un mismatch sur ce prog au step 1

• State “TODO” from “” [2013-05-10 Fri 17:08]

../utils/test_lus2lic_no_node should_work/pipeline.lus

Lurette trouve un mismatch sur ce prog au step 2

• State “TODO” from “” [2013-05-10 Fri 17:08]

../utils/test_lus2lic_no_node should_work/X2.lus ../utils/test_lus2lic_no_node should_work/cond01.lus

Lurette trouve un mismatch sur ce prog au step 7

• State “TODO” from “” [2013-05-10 Fri 17:08]

../utils/test_lus2lic_no_node should_work/call07.lus

Lurette trouve un mismatch sur ce prog au step 6

• State “TODO” from “” [2013-05-10 Fri 17:08]

file:test/should_work/deSimone.lus

../utils/test_lus2lic_no_node should_work/deSimone.lus

Lurette trouve un mismatch sur ce prog au step 0

• State “TODO” from “” [2013-05-10 Fri 17:08]

file:test/should_work/predefOp.lus ../utils/test_lus2lic_no_node should_work/predefOp.lus

Lurette trouve un mismatch sur ce prog au step 2