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 #25 #27

Closed nicovank closed 11 months ago

nicovank commented 11 months ago

This has some formatting changes from the auto-formatter, but the big change is the regex for Java, see fdbbad0176cff17065ca390db42f9efa258f1525. From my tests it looks like Java errors have the word "error" which we can use to be more specific. We don't have any Java tests checked in the repo, @emeryberger could you please test this branch once to make sure it still works on Java and stamp?