Open albertogoffi opened 6 years ago
Add purity analysis to use only pure methods in generated specifications (and therefore oracles).
Add purity analysis to use only pure methods in generated specifications (and therefore oracles).