aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Results/initializers
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2016-10-24 14:21:51 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2016-10-24 14:34:59 +0200
commit03ab00aec5d10f4a2d048fab7f16489cf33fcc1d (patch)
tree16d5313fb0d61585f6d82c6232228d716e9f7553 /test/regression/Results/initializers
parent2fc1f0ce18c45d1148493d58e0c848fc70c44a4d (diff)
downloadcompcert-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/initializers30
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, }