Fixed check script: we now see that our C backend isn't bug-free...
This commit is contained in:
parent
014bc19ab2
commit
b0a0100ad7
|
@ -130,12 +130,14 @@ launch_check () {
|
||||||
if [[ ($echec == 0) && ($c == 1) ]]; then
|
if [[ ($echec == 0) && ($c == 1) ]]; then
|
||||||
pushd ${base_f}_c >/dev/null
|
pushd ${base_f}_c >/dev/null
|
||||||
for cf in *.c; do
|
for cf in *.c; do
|
||||||
if $CC -c $cf >/dev/null 2>&1; then
|
$CC -c $cf >/dev/null 2>&1
|
||||||
|
if [ $? = 0 -a $echec != 5 ]; then
|
||||||
echec=0
|
echec=0
|
||||||
else
|
else
|
||||||
echec=5
|
echec=5
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
#echo "Compilation $f vers C = $echec"
|
||||||
|
|
||||||
if [ $echec != 5 ]; then
|
if [ $echec != 5 ]; then
|
||||||
if egrep "(node main\(\))|(CHECK)" ../${base_f}.ept >/dev/null 2>&1
|
if egrep "(node main\(\))|(CHECK)" ../${base_f}.ept >/dev/null 2>&1
|
||||||
|
@ -210,8 +212,6 @@ activate_all () {
|
||||||
activate_c
|
activate_c
|
||||||
}
|
}
|
||||||
|
|
||||||
# -1, -2, -3, -v1, -v2, -v3 kept for backward compatibility
|
|
||||||
# (to be suppressed)
|
|
||||||
while [ $# -gt 0 ]; do
|
while [ $# -gt 0 ]; do
|
||||||
case $1 in
|
case $1 in
|
||||||
"-clean" )
|
"-clean" )
|
||||||
|
|
16
test/good/auto.ept
Normal file
16
test/good/auto.ept
Normal file
|
@ -0,0 +1,16 @@
|
||||||
|
node count() returns (o : int)
|
||||||
|
let
|
||||||
|
o = 0 fby (o + 1);
|
||||||
|
tel
|
||||||
|
|
||||||
|
node main() returns (c : bool)
|
||||||
|
let
|
||||||
|
automaton
|
||||||
|
state One
|
||||||
|
do c = true;
|
||||||
|
until count() = 5 then Two
|
||||||
|
state Two
|
||||||
|
do c = false
|
||||||
|
until count() = 3 then One
|
||||||
|
end
|
||||||
|
tel
|
Loading…
Reference in a new issue