The libraries ExtIO and AldorUnit written by Christian Aistleitner are needed for running the testsuite (make check).
Both libraries are distributed as source code and need to be compiled on your machine. So place the .tar.gz files into a separate directory and extract them.
The commands
gunzip -c extio-1.0.2.tar.gz | tar xvf -
cd extio-1.0.2 ./configure make make install cd .. |
compile the ExtIO library and finally install the files
libextio-gmp.a libextio.a libextiod.a
libextio-gmp.al libextio.al libextiod.al |
into the directory $ALDORROOT/lib and the file
extio.as
|
into $ALDORROOT/include.
Similarly, the commands
gunzip -c aldorunit-1.0.1.tar.gz | tar xvf -
cd extio-1.0.1 ./configure make make check make install cd .. |
compile the AldorUnit library, test it, and finally install the files
libaldorunit-gmp.a libaldorunit.a libaldorunitd.a
libaldorunit-gmp.al libaldorunit.al libaldorunitd.al |
into the directory $ALDORROOT/lib and the file
aldorunit.as
|
into $ALDORROOT/include.
After AldorUnit is installed, you should also run the testsuite of the ExtIO library.
cd extio-1.0.2
./configure make check cd .. |
If anything goes wrong with the above commands, consult the documentation of the respective library.
The library AldorUnit provides a package TestCaseTools with the following exports that can be used for tests of your library. For further details consult the documentation of AldorUnit.
assertTrue: Boolean -> ();
assertFalse: Boolean -> (); assertEquals: (T: PrimitiveType) -> (T, T) -> () assertNotEquals: (T: PrimitiveType) -> (T, T) -> () assertEquals: (T: PrimitiveType, T, T) -> (); assertNotEquals: (T: PrimitiveType, T, T) -> (); assertEquals: (MachineInteger, MachineInteger) -> (); assertNotEquals: (MachineInteger, MachineInteger) -> (); assertEquals: (Integer, Integer) -> (); assertNotEquals: (Integer, Integer) -> (); assertEquals: (String, String) -> (); assertNotEquals: (String, String) -> (); assertEquals: (ExpressionType, ExpressionType) -> (); assertNotEquals: (ExpressionType, ExpressionType) -> (); assertFailed: (T: Type) -> Partial T -> (); failSafeRetract: (T: Type) Partial T -> T; failSafeRetract: (T: Type, Partial T) -> T; fail: String -> (); |