Revision 817d5bcb
Fixed horn backend to make query for properties. More work needed for cex
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 817d5bcb7db517b15019bddc7a0d24c8bd063496 |
| Parent | fcf1fd96 |
| Child | b38ffff3 |
Added by Teme Kahsai over 6 years ago
Fixed horn backend to make query for properties. More work needed for cex