Small 'check' cosmetic.
debugger_script updated.
This commit is contained in:
parent
d20a77e181
commit
aa3923cb56
2 changed files with 13 additions and 10 deletions
10
test/check
10
test/check
|
@ -47,6 +47,8 @@ compile () {
|
|||
fi
|
||||
|
||||
if [ $verbose != 0 ]; then
|
||||
echo ""
|
||||
echo "****************************************"
|
||||
echo Compile -i $coption $1 $2 $args_comp
|
||||
$compilo $coption -I good $1 $2 $args_comp
|
||||
else
|
||||
|
@ -67,7 +69,9 @@ launch_check () {
|
|||
# les mauvais
|
||||
echo -n "bad "
|
||||
for f in bad/*.ept ; do
|
||||
echo -n ".";
|
||||
if [ $verbose = 0 ]; then
|
||||
echo -n "."
|
||||
fi
|
||||
max=`expr $max + 1`;
|
||||
if compile $f; then
|
||||
echo
|
||||
|
@ -82,7 +86,9 @@ launch_check () {
|
|||
echo -n "bons"
|
||||
for f in good/*.ept; do
|
||||
echec=0
|
||||
echo -n ".";
|
||||
if [ $verbose = 0 ]; then
|
||||
echo -n "."
|
||||
fi
|
||||
max=`expr $max + 1`;
|
||||
base_f=`basename $f .ept`
|
||||
if compile $f; then
|
||||
|
|
|
@ -2,24 +2,23 @@ load_printer "/sw/lib/ocaml/menhirLib/menhirLib.cmo"
|
|||
load_printer "_build/global/location.d.cmo"
|
||||
load_printer "_build/global/names.d.cmo"
|
||||
load_printer "_build/utilities/misc.d.cmo"
|
||||
load_printer "_build/utilities/pp_tools.d.cmo"
|
||||
load_printer "_build/global/types.d.cmo"
|
||||
load_printer "_build/global/signature.d.cmo"
|
||||
load_printer "_build/global/modules.d.cmo"
|
||||
load_printer "_build/global/idents.d.cmo"
|
||||
load_printer "_build/global/clocks.d.cmo"
|
||||
load_printer "_build/utilities/pp_tools.d.cmo"
|
||||
load_printer "_build/global/global_printer.d.cmo"
|
||||
load_printer "_build/global/initial.d.cmo"
|
||||
load_printer "_build/global/static.d.cmo"
|
||||
load_printer "_build/heptagon/heptagon.d.cmo"
|
||||
load_printer "_build/utilities/graph.d.cmo"
|
||||
load_printer "_build/heptagon/analysis/causal.d.cmo"
|
||||
load_printer "_build/heptagon/analysis/causality.d.cmo"
|
||||
load_printer "_build/heptagon/analysis/initialization.d.cmo"
|
||||
load_printer "_build/global/global_mapfold.d.cmo"
|
||||
load_printer "_build/heptagon/hept_mapfold.d.cmo"
|
||||
load_printer "_build/heptagon/hept_printer.d.cmo"
|
||||
load_printer "_build/heptagon/analysis/typing.d.cmo"
|
||||
load_printer "_build/heptagon/analysis/interface.d.cmo"
|
||||
load_printer "_build/heptagon/analysis/statefull.d.cmo"
|
||||
load_printer "_build/heptagon/hept_printer.d.cmo"
|
||||
load_printer "_build/heptagon/parsing/hept_parsetree.d.cmo"
|
||||
load_printer "_build/heptagon/parsing/hept_parser.d.cmo"
|
||||
load_printer "_build/heptagon/parsing/hept_lexer.d.cmo"
|
||||
|
@ -28,10 +27,8 @@ load_printer "_build/heptagon/transformations/automata.d.cmo"
|
|||
load_printer "_build/heptagon/transformations/completion.d.cmo"
|
||||
load_printer "_build/heptagon/transformations/reset.d.cmo"
|
||||
load_printer "_build/heptagon/transformations/every.d.cmo"
|
||||
load_printer "_build/heptagon/transformations/inline.d.cmo"
|
||||
load_printer "_build/heptagon/transformations/last.d.cmo"
|
||||
load_printer "_build/heptagon/transformations/present.d.cmo"
|
||||
load_printer "_build/global/clocks.d.cmo"
|
||||
load_printer "_build/minils/minils.d.cmo"
|
||||
load_printer "_build/utilities/global/compiler_utils.d.cmo"
|
||||
load_printer "_build/heptagon/main/hept_compiler.d.cmo"
|
||||
|
@ -40,6 +37,7 @@ load_printer "_build/minils/mls_printer.d.cmo"
|
|||
load_printer "_build/utilities/global/dep.d.cmo"
|
||||
load_printer "_build/minils/mls_utils.d.cmo"
|
||||
load_printer "_build/main/hept2mls.d.cmo"
|
||||
load_printer "_build/minils/transformations/itfusion.d.cmo"
|
||||
load_printer "_build/obc/obc.d.cmo"
|
||||
load_printer "_build/obc/control.d.cmo"
|
||||
load_printer "_build/obc/obc_mapfold.d.cmo"
|
||||
|
@ -53,7 +51,6 @@ load_printer "_build/obc/c/cmain.d.cmo"
|
|||
load_printer "_build/obc/obc_printer.d.cmo"
|
||||
load_printer "_build/minils/main/mls2seq.d.cmo"
|
||||
load_printer "_build/minils/analysis/clocking.d.cmo"
|
||||
load_printer "_build/minils/transformations/itfusion.d.cmo"
|
||||
load_printer "_build/minils/transformations/normalize.d.cmo"
|
||||
load_printer "_build/minils/transformations/schedule.d.cmo"
|
||||
load_printer "_build/minils/main/mls_compiler.d.cmo"
|
||||
|
|
Loading…
Reference in a new issue