Add GRASShopper examples to regress tests

septract / starling-tool

An automatic verifier for concurrent algorithms.

MIT License

7 stars 4 forks source link

Closed MattWindsor91 closed 7 years ago

MattWindsor91 commented 7 years ago

Added one fabricated 'failing' GRASShopper test, maybe we need more?

Fixes #131, I think.

septract commented 7 years ago

Not sure what other tests would be interesting. This is enough to get started anyway.

MattWindsor91 commented 7 years ago

@septract I've updated the comment ^^

septract commented 7 years ago

Great, :shipit: