verigraph icon indicating copy to clipboard operation
verigraph copied to clipboard

Published 20 hours ago • verified publisher icon Verites

Better utilities for writing unit tests with typed graphs

Open jsbezerra opened this issue 7 years ago • 1 comments

Creating test cases with typed graphs is currently a time consuming, manual work. We should probably find a better way to do this.

Wishlist:

  • [ ] Better format for writing graphs
  • [ ] Compare graphs by isomorphism instead of equality

jsbezerra avatar Mar 14 '17 19:03 jsbezerra

Do we want random generation of graphs for QuickCheck tests? I've looked a bit into it and it shouldn't be too hard to generate a random graph, given a type graph.

ggazzi avatar Mar 15 '17 17:03 ggazzi