Actions
Task #6152
closedSupport for disjunctive constraints in MMU specifications
Start date:
07/06/2015
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
2.2.9
Description
- Mmu{Equality,Condition}
- GuardExtractor
- MemoryAccessStructureChecker
Actions