#9767: Cliquer has no spkg-check file, but there is a small test suite with the
program
--------------------------+-------------------------------------------------
   Reporter:  drkirkby    |       Owner:  drkirkby
       Type:  defect      |      Status:  new     
   Priority:  major       |   Milestone:  sage-4.6
  Component:  spkg-check  |    Keywords:          
     Author:              |    Upstream:  N/A     
   Reviewer:              |      Merged:          
Work_issues:              |  
--------------------------+-------------------------------------------------
 There's a test suite which can be run easily - see below.

 {{{
 drkir...@hawk:~/cliquer-1.2.p6/src$ make testcases
 gcc -Wall -O3 -fomit-frame-pointer -funroll-loops   -c -o testcases.o
 testcases.c
 gcc  -o testcases testcases.o cliquer.o graph.o reorder.o
 drkir...@hawk:~/cliquer-1.2.p6/src$ ./testcases

 Running testcases:  ELEMENTSIZE=32, sizeof(setelement)=4  (OK)

 Testing small: graph_test...OK
 Testing large: graph_test...OK
 Testing wlarge: graph_test...OK

 Testing small: single maximum clique...OK
 Testing large: single maximum clique...OK
 Testing small: single 3-sized clique...OK
 Testing large: single 8-sized clique...OK

 Testing small: all maximum cliques...OK
 Testing large: all maximum cliques...OK
 Testing small: all min 3-sized cliques...OK
 Testing large: all min 8-sized cliques...OK
 Testing large: all exactly 8-sized cliques...OK

 Testing large: max clique size...OK
 Testing weighted large: max clique weight...OK

 Testing large: user_function w/ abort for 8-sized cliques...OK
 Testing large: too small array for all maximum cliques...OK

 Testing weighted large: single max weighted clique...OK (w=66)
 Testing weighted large: single min 60 weighted clique...OK (w=63)
 Testing weighted large: single exactly 62 weighted clique...OK (w=62)
 Testing weighted large: all max weighted cliques...OK
 Testing weighted large: all min 60 weighted cliques...OK
 Testing weighted large: all 60...64 weighted maximal cliques...OK

 Testing re-entrance...OK
 drkir...@hawk:~/cliquer-1.2.p6/src$
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9767>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to