search

math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14 stars 6 forks source link

Are there any orphaned database sql files? #547

Closed yirkajk closed 6 years ago

yirkajk commented 6 years ago

As names of graphs change, we may have forgotten to update the database files. Need to check.

nvcleemp commented 6 years ago

Maybe some test needs to be written which creates a list of all file names and a list of all function names. That way we can ran it for each push to the repository.

nvcleemp commented 6 years ago

These are currently reported as orphaned:

  number_of_triangles
  is_biclique
  is_flower
  is_pebbling_class0
nvcleemp commented 6 years ago

All of the orphaned files have been dealt with and there is no a Travis CI script which will fail the build if a new file gets orphaned.