Examples with Model verdict.vdm.vdm_model.Model used on opensource projects

Example 31 with Model

use of verdict.vdm.vdm_model.Model in project VERDICT by ge-high-assurance.

the class VdmTranslatorTest method testXml.

@Test
public void testXml() throws IOException {
    File controlFile = new File("src/test/resources/vdm-model.xml");
    Model controlModel = VdmTranslator.unmarshalFromXml(controlFile);
    File testFile = File.createTempFile("vdm-model", ".xml");
    testFile.deleteOnExit();
    VdmTranslator.marshalToXml(controlModel, testFile);
    Assertions.assertThat(testFile).exists();
}