-
Notifications
You must be signed in to change notification settings - Fork 161
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Removed two more examples from grpauto.tst
Now it runs withing the memory limits in `make teststandard` (-o 1g) and takes about 2000s with no packages (still with info message about alternating recognition).
- Loading branch information
Alexander Konovalov
committed
Nov 30, 2016
1 parent
1b54805
commit dcaa4b2
Showing
1 changed file
with
0 additions
and
26 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
dcaa4b2
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@hulpke please note this commit. These tests are still preserved in
benchmark/grpauto
in PR #966.dcaa4b2
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@hulpke started to tests this now with Jenkins. Tests fully passes without packages, but with packages it trips over
IsomorphismGroups(H,K);
call inwith
Error, reached the pre-set memory limit (change it with the -o command line option)
message.