feature: trigger re-run (with edits possibly) from web-UI - Githubissues

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

feature: trigger re-run (with edits possibly) from web-UI #107

Closed chkl closed 6 years ago