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

Fix #58 #59

Closed nicovank closed 7 months ago

nicovank commented 7 months ago

PR to trigger CI, this may affect regression tests.

nicovank commented 7 months ago

As suspected, this improve prompts. Will re-generate and merge later tonight.