smtbmc: match on full property paths instead of just names #608
Annotations
1 error
Run SBY tests
Process completed with exit code 2.
|
Loading