search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Grasshopper tests #116

Open septract opened 7 years ago

septract commented 7 years ago

We need tests for the grasshopper backend.

(This issue so I remember to do it at some point)

MattWindsor91 commented 7 years ago

Does this still need doing? What sort of tests need to be there?

septract commented 7 years ago

I think the GH regression tests in travis are enough to declare this done. Or are there more tests that we need?