From 5c83904ed37e08b12e1f8dcaf8631629171bb147 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Fri, 25 Jan 2013 10:41:18 +0100
Subject: [PATCH] Always perform the nonreg test on triglav default so that the
compute time remains comparable.
---
test/Makefile | 8 ++++++--
test/lus2lic.sum | 2 +-
test/lus2lic.time | 4 ++--
todo.org | 27 +++++++++++----------------
todo.org_archive | 13 +++++++++++++
5 files changed, 33 insertions(+), 21 deletions(-)
diff --git a/test/Makefile b/test/Makefile
index fe093a97..108cfd36 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -1,9 +1,12 @@
-test: runtest lus2lic.diff lus2lic.time
+test: remote-runtest lus2lic.diff lus2lic.time
+
+# to perform the test on the local machine rather than on triglav
+ltest: runtest lus2lic.diff lus2lic.time
testdir=$(shell pwd)
-# XXX remote test should be done using --target_board
+# XXX remote test should be done using --target_board, but i've failed to make it working ...
remote-runtest:
# runtest --all --tool lus2lic --target_board=$(testdir)/board_triglav.exp || true
ssh triglav "cd $(testdir) ; runtest --all --tool lus2lic" || true
@@ -21,6 +24,7 @@ lus2lic.diff:
lus2lic.time:
grep "testcase \./lus2lic" lus2lic.log > lus2lic.time
+ cat lus2lic.time
utest:
cp lus2lic.log lus2lic.log.ref
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 386b6c8a..4541687a 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,4 +1,4 @@
-Test Run By jahier on Wed Jan 23 18:39:13 2013
+Test Run By jahier on Fri Jan 25 10:29:53 2013
Native configuration is i686-pc-linux-gnu
=== lus2lic tests ===
diff --git a/test/lus2lic.time b/test/lus2lic.time
index 2a544733..0be398ae 100644
--- a/test/lus2lic.time
+++ b/test/lus2lic.time
@@ -1,2 +1,2 @@
-testcase ./lus2lic.tests/non-reg.exp completed in 112 seconds
-testcase ./lus2lic.tests/progression.exp completed in 1 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 59 seconds
+testcase ./lus2lic.tests/progression.exp completed in 0 seconds
diff --git a/todo.org b/todo.org
index 9f7a8b8a..8c3cac8d 100644
--- a/todo.org
+++ b/todo.org
@@ -91,20 +91,20 @@ file:test/should_fail/type/parametric_node.lus
- State "TODO" from "" [2013-01-19 Sat 09:43]
./lus2lic { -o /tmp/packages.out should_work/broken/packages.lus}
./lus2lic -ec -o /tmp/packages.ec should_work/broken/packages.lus
- Error in file "/home/jahier/lus2lic/test/should_work/broken/packages.lus", line 22, col 27 to 29, token 'int':
+ Error in file "/home/jahier/lus2lic/test/should_work/broken/packages.lus", line 22, col 27 to 29, token 'int':
syntax error
file:test/should_work/broken/packages.lus::22
-** TODO instanciation de noeuds ne marche pas ?
+** TODO instanciation de noeuds ne marche pas ?
- State "TODO" from "" [2013-01-19 Sat 10:02]
./lus2lic -o /tmp/multipar.out should_work/broken/multipar.lus
file:test/should_work/broken/multipar.lus::20
- Error in file "/home/jahier/lus2lic/test/should_work/broken/multipar.lus", line 20, col 12 to 12, token 'g':
- unknown node: g
- known nodes are: sil, bok, gup, lis
+ Error in file "/home/jahier/lus2lic/test/should_work/broken/multipar.lus", line 20, col 12 to 12, token 'g':
+ unknown node: g
+ known nodes are: sil, bok, gup, lis
-FAIL: without any option: ./lus2lic { -o /tmp/multipar.out should_work/broken/multipar.lus}
+FAIL: without any option: ./lus2lic { -o /tmp/multipar.out should_work/broken/multipar.lus}
** TODO Revoir le nommage des instances de noeuds parametriques
par ex, pour should_work/NONREG/param_struct.lus
ca invente des noms bien débiles du point de vue du nom du pack.
@@ -147,6 +147,7 @@ du coup les stats sont un peu fausses. a revoir.
par ex file:test/should_fail/semantics/sincos.lus n'echoue qu'en mode -ec
(et pour l'instant il n'est testé qu'en mode lic)
+
* Aesthetes issues
** TODO Nommage des variables fraiches : Reprendre LicVarName.ml
- State "TODO" from "" [2013-01-16 Wed 18:03]
@@ -166,26 +167,20 @@ QU: Pascal l'a fait ?
* Languages issues
-** TODO Verifier les boucles combinatoires
-quand on genere du ec (car ec2c ne fait pas la verif !)
- [2010-06-07 Mon]
-
-On pourrait peut-etre le faire en modifiant celui la : file:src/l2lCheckOutputs.ml ?
** TODO Verifier les boucles combinatoires meme quand on ne genere pas de ec
On pourrait utiliser file:src/misc.ml pour prendre finement en compte les
struct et les arrays.
-
** TODO Merge is not working
** TODO Condact is not working
file:test/should_work/broken/cond01.lus
- State "TODO" from "" [2013-01-18 Fri 23:18]
- ./lus2lic -ec -o /tmp/cond01.ec should_work/broken/cond01.lus
+ ./lus2lic -ec -o /tmp/cond01.ec should_work/broken/cond01.lus
- oops: lus2lic internal error
- File "objlinux/l2lExpandMetaOp.ml", line 310, column 4
- when compiling lustre program should_work/broken/cond01.lus
+ oops: lus2lic internal error
+ File "objlinux/l2lExpandMetaOp.ml", line 310, column 4
+ when compiling lustre program should_work/broken/cond01.lus
** TODO Rajouter le with à la caml pour les structures
- State "TODO" from "" [2012-10-26 Fri 14:59]
diff --git a/todo.org_archive b/todo.org_archive
index 439d8414..2b0b054d 100644
--- a/todo.org_archive
+++ b/todo.org_archive
@@ -264,6 +264,19 @@ car c'est plus facile dans git pour retrouver ses petits
:ARCHIVE_TODO: TODO
:END:
[2010-11-08 Mon]
+* TODO Verifier les boucles combinatoires
+ :PROPERTIES:
+ :ARCHIVE_TIME: 2013-01-24 Thu 09:13
+ :ARCHIVE_FILE: ~/lus2lic/todo.org
+ :ARCHIVE_OLPATH: Languages issues
+ :ARCHIVE_CATEGORY: lv6
+ :ARCHIVE_TODO: TODO
+ :END:
+quand on genere du ec (car ec2c ne fait pas la verif !)
+ [2010-06-07 Mon]
+
+On pourrait peut-etre le faire en modifiant celui la : file:src/l2lCheckOutputs.ml ?
+
--
GitLab