# file : tests/manifest/machine.test # copyright : Copyright (c) 2014-2017 Code Synthesis Ltd # license : MIT; see accompanying LICENSE file test.options += -m : valid : : Roundtrip the machine manifest. : { : vm : $* <>EOF : 1 id: a2b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 name: windows_10-msvc_14 type: vm summary: Windows 10 build 1607 with VC 14 update 3 EOF : container : $* <>EOF : 1 id: a2b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 name: windows_10-msvc_14 type: container summary: Windows 10 build 1607 with VC 14 update 3 EOF } : multiple : $* <'stdin:6:1: error: single machine manifest expected' == 1 : 1 id: a2b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 name: windows_10-msvc_14 type: vm summary: Windows 10 build 1607 with VC 14 update 3 : EOI : redefinition : { : id : $* <'stdin:3:1: error: machine id redefinition' == 1 : 1 id: 123 id: 123 EOI : name : $* <'stdin:3:1: error: machine name redefinition' == 1 : 1 name: windows name: windows EOI : type : $* <'stdin:3:1: error: machine type redefinition' == 1 : 1 type: vm type: vm EOI : summary : $* <'stdin:3:1: error: machine summary redefinition' == 1 : 1 summary: Windows summary: Windows EOI } : empty : { : id : $* <'stdin:2:4: error: empty machine id' == 1 : 1 id: EOI : name : $* <'stdin:2:6: error: empty machine name' == 1 : 1 name: EOI : summary : $* <'stdin:2:9: error: empty machine summary' == 1 : 1 summary: EOI } : invalid-type : $* <'stdin:2:7: error: invalid machine type' == 1 : 1 type: unknown EOI : unknown-name : $* <"stdin:2:1: error: unknown name 'x' in machine manifest" == 1 : 1 x: EOI : missed : { : id : $* <'stdin:5:1: error: no machine id specified' == 1 : 1 name: windows type: vm summary: Windows EOI : name : $* <'stdin:5:1: error: no machine name specified' == 1 : 1 id: 123 type: vm summary: Windows EOI : type : $* <'stdin:5:1: error: no machine type specified' == 1 : 1 id: 123 name: windows summary: Windows EOI : summary : $* <'stdin:5:1: error: no machine summary specified' == 1 : 1 id: 123 name: windows type: vm EOI }