Goals until 2018-04-19 - Githubissues

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

Goals until 2018-04-19 #31

Closed chkl closed 6 years ago

chkl commented 6 years ago

[x] - #32 smarter random values (use a pool of used constants +/-1 from the program, and 0)
[x] - #33 smarter scoring (be sensitive to changes of runtime)
[x] - #34 on places with high disagreement: not only go deeper, but also stay longer.
[x] - #36 use false to check for reachability first.

stretch goals:

35 change budget from "number of runs" to number of time spent and let the strategies decide how much time they want to allocate.