CRefine

Salvar/Abrir Desenvolvimento

A qualquer momento de um refinamento, o usuário tem a opção de salvá-lo. Para isto, basta clicar no menu Desenvolvimento e escolher a opcao Salvar ou Salvar como. Ou ainda, apenas clicar no botão
A dialog box will be displayed asking the user the file name and the directory in which the development must be save in. The development will be saved in .xml format.
In order to open a saved refinement in CRefine, we may chose the Open option in the development menu or click in the button. After opening the saved file, Ao abrir um arquivo salvo, CRefine will check compatibility between the file and the tool version.
A dialog box that is similar to the Save one will be exhibited; it request the selection of a .xml file containing the development to be open. After choosing the file, the development is loaded into the tool; the progress is displayed using a progress bar.
After loading the development, all the windows are updated: Development, Proof Obligations, and Code. The user may now continue the development.