Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  run_unittests.g   Sprache: unbekannt

 
Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

#############################################################################
##
#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;

[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-17]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=492969
#Domains=607362