|
#
# 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
[ Verzeichnis aufwärts0.16unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
