search

phyloref / jphyloref

MIT License
0 stars 0 forks source link

Write out reasoner information during TestCommand/WebserverCommand #27

Closed gaurav closed 5 years ago

gaurav commented 6 years ago

This PR modifies both TestCommand and WebserverCommand to write out which reasoner is being used so we can log the time taken by different reasoners to reason over particular ontologies.