[tlaplus] [Need help debugging] - Getting TLC runtime exception

[Lev Broido <lev.broido@xxxxxxxxx>]

Hi

I am trying to build specification for ARM AXI protocol starting from some very basic specification gradually extending it.

I've started defining basic channel (axi_channel) and then simple interface containing data and address channel (axi_base) . After trying to run model I've got runtime exception and I don't know how to advance . Relevant files are attached

Thanks,

Lev

1) Error screenshot

2) Files + model

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAB%3D60u6g4hN%3D4gPv5%3D0QU4ptpBfnGK8JpxnT5nB4wjRzgPUfJg%40mail.gmail.com.

Attachment: axi_base_modeling.tar.gz
Description: GNU Zip compressed data