There was an error while loading. Please reload this page.
1 parent 74eac83 commit cddea3dCopy full SHA for cddea3d
1 file changed
tst/standard/isomorph.tst
@@ -806,10 +806,11 @@ fail
806
gap> nauty := not DIGRAPHS_UsingBliss;;
807
gap> DigraphsUseNauty();
808
gap> DigraphsUseBliss();
809
+gap> p := DIGRAPHS_NautyAvailable;;
810
gap> MakeReadWriteGlobal("DIGRAPHS_NautyAvailable");
811
gap> DIGRAPHS_NautyAvailable := false;;
812
-gap> DIGRAPHS_NautyAvailable := true;;
813
+gap> DIGRAPHS_NautyAvailable := p;;
814
gap> MakeReadOnlyGlobal("DIGRAPHS_NautyAvailable");
815
gap> if not nauty then
816
> DigraphsUseBliss();
0 commit comments