(tests
  (names testGraph)
  (libraries ounit2 kind2dev))