|
#
# pkgname: pkg
#
# This file runs package tests. It is also referenced in the package
# metadata in PackageInfo.g.
#
LoadPackage( "InduceReduce" );
TestDirectory(DirectoriesPackageLibrary( "InduceReduce", "tst" ),
rec(exitGAP := true));
FORCE_QUIT_GAP(1); # if we ever get here, there was an error
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
