plasma-umass / cwhy

"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Apache License 2.0
273 stars 6 forks source link

Allow dependencies in tests #46

Closed nicovank closed 10 months ago

nicovank commented 10 months ago

This is useful to test things in CTRE, Folly, Boost, ...

Dependencies can be added test by test via manifest.yml. Dependencies are not re-used, which could be a problem...

Maybe separate into a dependency list, and then mark which tests depend on which version.