SSL testall.g   Sprache: unbekannt

#
# 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.24unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]