Practical-Formal-Methods / adiff

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

separate generator for constants #82

Closed chkl closed 6 years ago

chkl commented 6 years ago

It's not really feasible. Because the "raffle" from which the constants are drawn depends on the picked positions. In a conjunctSize=1 strategy, a fresh location is picked at every iteration whereas with conjunctSize we stay at the same location for at least 4 draws. The 'drawing' depends on the location (because of the available reads and the type of the variables)