Skip to content

Commit

Permalink
Replace "sanity" by "consistency" in the GAP test suite
Browse files Browse the repository at this point in the history
  • Loading branch information
Alexander Konovalov authored and fingolfin committed Jul 14, 2020
1 parent b4c5176 commit 7995b72
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 7 deletions.
4 changes: 2 additions & 2 deletions tst/sanity.g → tst/consistency.g
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
## This file runs a vast number of sanity checks on a large number of
## This file runs a vast number of consistency checks on a large number of
## groups.

SetAssertionLevel(2);
Expand Down Expand Up @@ -82,7 +82,7 @@ local u,cs,ncs,n,rep,i,au,hom,cl,co;

end;

Sanity:=function(arg)
ConsistencyChecksForGroups:=function(arg)
local deg,sz,anzdeg,anzsz,i,j;
deg:=2;
sz:=2;
Expand Down
6 changes: 3 additions & 3 deletions tst/testbugfix/2005-07-21-t00085.tst
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@ gap> G:=PerfectGroup(IsPermGroup,734832,1);;
gap> H:=PerfectGroup(IsPermGroup,734832,2);;
gap> K:=PerfectGroup(IsPermGroup,734832,3);;
gap> Assert(0,H<>K); # Fails in 4.4.5
gap> Assert(0,Size(G)=734832 and IsPerfectGroup(G)); # Sanity check
gap> Assert(0,Size(H)=734832 and IsPerfectGroup(H)); # Sanity check
gap> Assert(0,Size(K)=734832 and IsPerfectGroup(K)); # Sanity check
gap> Assert(0,Size(G)=734832 and IsPerfectGroup(G)); # Consistency check
gap> Assert(0,Size(H)=734832 and IsPerfectGroup(H)); # Consistency check
gap> Assert(0,Size(K)=734832 and IsPerfectGroup(K)); # Consistency check
gap> Assert(0,Size(ComplementClassesRepresentatives(G,SylowSubgroup(FittingSubgroup(G),3)))=1); # Iso check
gap> Assert(0,Size(ComplementClassesRepresentatives(H,SylowSubgroup(FittingSubgroup(H),3)))=3); # Iso check
gap> Assert(0,Size(ComplementClassesRepresentatives(K,SylowSubgroup(FittingSubgroup(K),3)))=0); # Iso check
2 changes: 1 addition & 1 deletion tst/teststandard/sort.tst
Original file line number Diff line number Diff line change
Expand Up @@ -135,7 +135,7 @@ gap> for i in [0..100] do
> od;
> od;

# Just sanity check I really am making string reps
# Just consistency check I really am making string reps
gap> IsStringRep(lowAlpha{[1..0]}) and IsStringRep(lowAlpha{[1..10]});
true
gap> for i in [0..26] do
Expand Down
2 changes: 1 addition & 1 deletion tst/teststandard/stablesort.tst
Original file line number Diff line number Diff line change
Expand Up @@ -148,7 +148,7 @@ gap> for i in [0..100] do
> od;
> od;

# Just sanity check I really am making string reps
# Just consistency check I really am making string reps
gap> IsStringRep(lowAlpha{[1..0]}) and IsStringRep(lowAlpha{[1..10]});
true
gap> for i in [0..26] do
Expand Down

0 comments on commit 7995b72

Please sign in to comment.