incompleteness: seahorn (81) - Githubissues

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

incompleteness: seahorn (81) #125

Closed chkl closed 5 years ago

chkl commented 6 years ago

See here: https://github.com/seahorn/seahorn/issues/157

Original program: http://pfm3.mpi-sws.org:8080/program/0608a28fd0c63345c274083f7ed512d3244076c3