Added test example to whip up coverage rate

gap-system · Oct 30, 2020 · 5de77dc · 5de77dc
1 parent f0b2235
commit 5de77dc
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tst/teststandard/opers/Lattice.tst b/tst/teststandard/opers/Lattice.tst
@@ -0,0 +1,12 @@
+gap> START_TEST("Lattice.tst");
+
+#
+gap> g:=PerfectGroup(IsPermGroup,30720,10);;
+gap> l:=LowLayerSubgroups(g,2);;
+gap> Collected(List(l,Size));
+[ [ 192, 1 ], [ 320, 5 ], [ 384, 4 ], [ 768, 15 ], [ 1024, 1 ], [ 1536, 5 ],
+  [ 1920, 4 ], [ 2048, 1 ], [ 2560, 1 ], [ 3072, 1 ], [ 5120, 1 ],
+  [ 6144, 1 ], [ 30720, 1 ] ]
+
+#
+gap> STOP_TEST("Lattice.tst",1);