You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Modifying cts_lib files regenerates cts_lib.a but cts.a which depends on cts_lib.a is not which causes messages not to be checked.
Basically modifying TritonCTS.cpp with duplicated message ids will not be catched while the same in TritonCTS.tcl will.
Expected Behavior
Duplicated message ids catches in cts_lib files.
Environment
Latest OR
To Reproduce
Make duplicate ids in TritonCTS.cpp and run make.
Relevant log output
No response
Screenshots
No response
Additional Context
No response
The text was updated successfully, but these errors were encountered:
Describe the bug
Modifying cts_lib files regenerates cts_lib.a but cts.a which depends on cts_lib.a is not which causes messages not to be checked.
Basically modifying TritonCTS.cpp with duplicated message ids will not be catched while the same in TritonCTS.tcl will.
Expected Behavior
Duplicated message ids catches in cts_lib files.
Environment
To Reproduce
Make duplicate ids in TritonCTS.cpp and run make.
Relevant log output
No response
Screenshots
No response
Additional Context
No response
The text was updated successfully, but these errors were encountered: