Closed emitra17 closed 5 years ago
Change the extension of constraint / property specification files from .con to .prop. .con is still supported in the code for backwards compatibility.
Change the extension of constraint / property specification files from .con to .prop. .con is still supported in the code for backwards compatibility.