YICES Code Generation
Starting with the “Shared - Memory Access Problem” (RECOMP related) this feature generation the yices code for finding a valid solution
(from redmine: issue id 720, created on 2012-03-15, closed on 2012-06-11)
- Relations:
- child #722 (closed)
- child #723 (closed)
- parent #717 (closed)