search

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers
MIT License
11 stars 6 forks source link

mkRandomValues with uniformly random bitlength. #64

Closed chkl closed 6 years ago