search

PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs
https://bo-yuan-huang.gitbook.io/ilang/
MIT License
75 stars 18 forks source link

Validate model #137

Closed yuex1994 closed 5 years ago

yuex1994 commented 5 years ago

Determine whether the ILA model is complete and deterministic

coveralls commented 5 years ago

Pull Request Test Coverage Report for Build 779

Totals Coverage Status
Change from base Build 777: 0.03%
Covered Lines: 9144
Relevant Lines: 10552
💛 - Coveralls
yuex1994 commented 5 years ago

Thanks for the updates! Is there a way to rebuild this pr on appveyor? The current build seesm to be timed out.. @Bo-Yuan-Huang