Weak contract analysis not working with OCRA 1.4.1
@spuri
Submitted by Stefano puri Link to original bug (#561959)
Description
The analysis about weak contracts does not execute with the latest version of OCRA (1.4.1). Unsupported '-c' parameter exception is thrown by OCRA when the org.polarsys.chess.contracts.integration.ToolIntegration tries to execute the following comand:
"ocra_check_syntax -c -p "
Version: develop