Quelle  run_unittests.g   Sprache: unbekannt

#############################################################################
##
#W  run_unittests.g          automgrp package                  Dmytro Savchuk
#W                                                             Yevgen Muntyan
##
#Y  Copyright (C) 2003 - 2018 Dmytro Savchuk, Yevgen Muntyan
##

# Do this to run tests:
# Read(Filename(DirectoriesPackageLibrary("automgrp", "tst"), "run_unittests.g"));
#
# Test AG_Globals.run_tests_forever flag for tests which require
# lot of time, i.e. if a test needs a minute to run, put it inside
# if AG_Globals.run_tests_forever then ... fi;

Read(Filename(DirectoriesPackageLibrary("automgrp", "tst"), "testutil.g"));

saved := rec(
  info_level := InfoLevel(InfoAutomGrp),
  bind_vars_autom_family := AG_Globals.bind_vars_autom_family,
);

SetInfoLevel(InfoAutomGrp, 0);
AG_Globals.bind_vars_autom_family := false;

UnitTestInit("automgrp package");

for name in [
  "teststructures.g",
  "testorder.g",
  "testselfsim.g",
]
do
Read(Filename(DirectoriesPackageLibrary("automgrp", "tst"), name));
od;

UnitTestRun();

SetInfoLevel(InfoAutomGrp, saved.info_level);
AG_Globals.bind_vars_autom_family := saved.bind_vars_autom_family;