Support describing various classes of interaction scenarios within different environment models
Target programs can be too hard for verification with environment models describing many possible interaction scenarios including a plenty of initializations. Thus we need a way to consider various classes of interaction scenarios within different environment models.
- Status changed from New to Open
Current implementation lives in env-models-decomposition.
All main features are implemented but there are several minor issues to fix and tests to tune.
- Status changed from Open to Closed
After all tests passed, so, I merged the branch implementing this amazing feature to master in 0eb21a0ff. That was the last issue for Klever 3.2, thus, this commit was marked as v3.2rc1.
Also available in: Atom