IBM / graph2tac

Graph-based neural tactic prediction models for Coq.
Apache License 2.0
8 stars 4 forks source link

Upgrades to the tests #134

Closed jasonrute closed 1 year ago

jasonrute commented 1 year ago

This PR upgrades the tests in various ways:

jasonrute commented 1 year ago

Note this PR doesn't do some of the other stuff we are planning to do with the tests, like align definitions in the traces, speed up the predict server tests by making them shorter, and a number of other small improvements. I'll work on those next.