Merge tools#

The Ansys SCADE Git Extensions merge tools address Ansys SCADE files where default textual merge is not appropriate. They merge files derived from a common ancestor, using the merge 3 technique, and are intended to be used as part of the merge feature of a version control system such as Git.

The post-installation step of this package registers the tools to Git.

If you are using a different version control system, please refer to its documentation for declaring the merge tools. They all have the following interface:

usage: <tool> [-h] -l <local> -r <remote> -b <base> -m <merged>

options:
-h, --help            show this help message and exit
-l <local>, --local <local>
                        local file
-r <remote>, --remote <remote>
                        remote file
-b <base>, --base <base>
                        base file
-m <merged>, --merged <merged>
                        merged file