Commit dba1fafa authored by Erwan Jahier's avatar Erwan Jahier

Completing the change of Pascal that aimed at separating the working

and release lib/lib/inc install dirs
be103b29
parent d9b931f4
\section{Examples}
\subsection{}
\subsection{}
\subsection{}
todo
......@@ -37,7 +37,7 @@ the \verb+luc4ocaml.mli+ interface file (or cf the ocamlcdoc
\subsection{Some useful tools}
\subsection{Tools that can be used in conjunction with Lutin}
......
# run all the non-regression tests
test:
test-lucky:
rm -f */.lurette_rc */*/.lurette_rc */*/*/.lurette_rc
cd lucky/external_code && make test;
cd lucky/other && make test ;
......@@ -34,4 +34,11 @@ endif
echo " All non-regression tests ran correctly."
test-lutin:
cd lutin/up_and_down && make test;
cd lutin/xlurette && make test;
test: test-lucky test-lutin
# cd ocaml/crazy-rabbit/ && make test ;
......@@ -5,13 +5,10 @@ let abs(x : real) : real =
if x > 0.0 then x else -x
let up_and_down(x : real ref; min, max, delta : real) =
exist px : real in
assert px = pre x in
if (pre x < min) or (
(pre x < max) and (pre px <= pre x)
) then (
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment