diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:21:51 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:34:59 +0200 |
commit | 03ab00aec5d10f4a2d048fab7f16489cf33fcc1d (patch) | |
tree | 16d5313fb0d61585f6d82c6232228d716e9f7553 /test/regression/Results/initializers | |
parent | 2fc1f0ce18c45d1148493d58e0c848fc70c44a4d (diff) | |
download | compcert-kvx-03ab00aec5d10f4a2d048fab7f16489cf33fcc1d.tar.gz compcert-kvx-03ab00aec5d10f4a2d048fab7f16489cf33fcc1d.zip |
Update the tests and test infrastructure in test/regression
Tests updated to work with x86 64 bits.
Infrastructure added: script "Runtest", with ability to have different reference outputs depending on platform or bit size.
Diffstat (limited to 'test/regression/Results/initializers')
-rw-r--r-- | test/regression/Results/initializers | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/test/regression/Results/initializers b/test/regression/Results/initializers deleted file mode 100644 index a3c92e86..00000000 --- a/test/regression/Results/initializers +++ /dev/null @@ -1,30 +0,0 @@ -x0 = 0 -x1 = 'x' -x2 = 12345 -x3 = 3.14159 -x4 = { 'a', 'b', 'c', 'd' } -x5 = { 1, 2, 3, 0, 0, 0, 0, 0, 0, 0, } -x6 = { 4, 5 } -x7 = { 6, 'u' } -x8 = { 'v', 7 } -x9 = { { 'a', 'b', 0, 0, 0, 0, 0, 0, 0, }, 2.718 } -x10 = { { 'v', 7 }, 2.718 } -x11 = 1.3183101416 -x12 = 1.3183101550 -x13 = { 0, 1 } -x14 ok -x15 ok -x16 ok -x17[7] = { 'H', 'e', 'l', 'l', 'o', '!', 0, } -x18 = "Hello!" -x19 = { "Hello", "world!" } -x20 = { 'H', 'e', 'l', } -x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, } -x22 ok -x23 = { hd = 8, tl = ok } -x24[6] = { '/', '*', 'B', '*', '/', 0, } -x25[4] = { "/tmp" } -x26[6] = { 'w', 'o', 'r', 'l', 'd', 0, } -x27[4] = { 'a', 'b', 'c', 0, } -x28[2] = { 'a', 'b', } -x29[10] = { 'a', 'b', 'c', 0, 0, 0, 0, 0, 0, 0, } |