Revision 0e1cd8db
Parsed the annotation. Produce tracability information for horn backend
Files
- added
- modified
- copied
- renamed
- deleted
ID | 0e1cd8db4ab6c8bded23395eb865a9c298b251e8 |
Parent | 5f747d08 |
Child | 5984a495 |
Added by Pierre-Loïc Garoche over 5 years ago
Parsed the annotation. Produce tracability information for horn backend