Revision ed736b69
Added by Pierre-Loïc Garoche over 8 years ago
test/test-compile.sh | ||
---|---|---|
5 | 5 |
declare c i w h a v |
6 | 6 |
declare -a files |
7 | 7 |
|
8 |
SRC_PREFIX="../.." |
|
9 |
#SRC_PREFIX=`svn info --xml | grep wcroot | sed "s/<[^>]*>//g"`/lustre_compiler
|
|
8 |
#SRC_PREFIX="../.."
|
|
9 |
SRC_PREFIX=`svn info --xml | grep wcroot | sed "s/<[^>]*>//g"`/lustre_compiler |
|
10 | 10 |
NOW=`date "+%y%m%d%H%M"` |
11 | 11 |
report=`pwd`/report-$NOW |
12 | 12 |
#LUSTREC="../../_build/src/lustrec" |
Also available in: Unified diff
Merge of last trunk commits
Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init