From 1e0c838ededf6d7d213c19f4c5b595e195356329 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Tue, 4 Sep 2018 15:03:14 +0300 Subject: Rename .test/test{} to .testscript/testscript{} --- tests/manifest/machine-header.test | 116 ------------------------------------- 1 file changed, 116 deletions(-) delete mode 100644 tests/manifest/machine-header.test (limited to 'tests/manifest/machine-header.test') diff --git a/tests/manifest/machine-header.test b/tests/manifest/machine-header.test deleted file mode 100644 index 6b880b1..0000000 --- a/tests/manifest/machine-header.test +++ /dev/null @@ -1,116 +0,0 @@ -# file : tests/manifest/machine-header.test -# copyright : Copyright (c) 2014-2018 Code Synthesis Ltd -# license : MIT; see accompanying LICENSE file - -test.options += -m - -: valid -: -: Roundtrip the machine header manifest. -: -{ - $* <>EOF - : 1 - id: a2b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 - name: windows_10-msvc_14 - summary: Windows 10 build 1607 with VC 14 update 3 - EOF -} - -: multiple -: -$* <'stdin:5:1: error: single machine header manifest expected' == 1 -: 1 -id: a2b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 -name: windows_10-msvc_14 -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 - - : 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 -} - -: unknown-name -: -$* <"stdin:2:1: error: unknown name 'x' in machine header manifest" == 1 -: 1 -x: -EOI - -: missed -: -{ - : id - : - $* <'stdin:4:1: error: no machine id specified' == 1 - : 1 - name: windows - summary: Windows - EOI - - : name - : - $* <'stdin:4:1: error: no machine name specified' == 1 - : 1 - id: 123 - summary: Windows - EOI - - : summary - : - $* <'stdin:4:1: error: no machine summary specified' == 1 - : 1 - id: 123 - name: windows - EOI -} -- cgit v1.1