id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
14068,nauty_geng is naughty,azi,jason ncohen rlm,"I think nauty_geng should not ignore geng's return value and return an exception if the returned value is not 0. Consider the following:
{{{
def find_counterexample(n):
for G in graphs.nauty_geng(""-c"" + str(n)):
if is_counterexample(G):
print 'Yeees, there is a counterexample'
return
print 'No counterexamples! Conjecture holds'
}}}
the code appears to be just fine but it has a bug! Namely it tries to run the program geng with the parameter ""-cn"" instead of ""-c n"". Hence geng returns an error and instead of getting an error in Sage, it simply does not generate any graphs.
The branch implements the catching of geng's error.
We also clean up the code of graph_generators a bit.
----
----
",defect,closed,major,sage-9.0,graph theory,fixed,,dimpase,,"David Coudert, Dima Pasechnik",Dima Pasechnik,N/A,,93edfb05921b4fba999b9eda0c7f128d99be1f36,93edfb05921b4fba999b9eda0c7f128d99be1f36,,