| # `carry` tests |
| |
| This directory contains test for the `v2x_to_model.py` and `v2x_to_pb_type` tools. |
| The tests use model defined in CBLOCK tests. |
| Those tests should check the following features: |
| |
| ## Blackbox detection |
| |
| - [ ] model of the leaf pb\_type is generated |
| - [ ] leaf pb\_type xml is generated |
| - [ ] all dependency models and pb\_types are included in the output files |
| |
| ## Carry chain inference |
| |
| - [ ] automatic inference of carry chains - carry chains defined on ports of included blocks should be propagated to top level module |
