From e451abd6677888a77313aee932488fc65645e5d4 Mon Sep 17 00:00:00 2001 From: Jeremiah Orians Date: Fri, 1 Jan 2021 15:55:34 -0500 Subject: [PATCH] Fix e25c1995aab5833323ee0784402ae7d3318b093e SCM MES regression --- cc_types.c | 2 +- test/test.answers | 10 +++++----- test/test1000/proof.answer | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/cc_types.c b/cc_types.c index bbdb090..43da8ba 100644 --- a/cc_types.c +++ b/cc_types.c @@ -79,7 +79,7 @@ void initialize_types() prim_types = add_primitive(hold); /* Define unsigned LONG */ - hold = new_primitive("MES","MES*", "MES**", register_size, FALSE); + hold = new_primitive("SCM","SCM*", "SCM**", register_size, FALSE); prim_types = add_primitive(hold); /* Define LONG */ diff --git a/test/test.answers b/test/test.answers index 0504958..0ef56a8 100644 --- a/test/test.answers +++ b/test/test.answers @@ -169,8 +169,8 @@ a2a83f42119e646b389b98647cf6cf2aa9597185997c9453db746178c8c4c0bf test/results/t 698853b79efb30865a663c4863c050639eb21c7400008f7840830503928973d4 test/results/test0106-knight-native-binary 45c2ba61dc209d7ffa39de9ff0f0a7f8f3ea4d7e38598c72f982fcaf9a05c84a test/results/test0106-knight-posix-binary 944580ff4aae38aafac139faf6eed5bfe4ff68b01a7a3adfa346de8803101182 test/results/test0106-x86-binary -7a0ffcce05c58dc515eeeeab4fba3cb64a7026f0371a9741396f54ac7a1751b5 test/results/test1000-aarch64-binary -8fc961311dcb3e373788e9c7cf502fef181732f57f7e5e34867216718d8ad9ed test/results/test1000-amd64-binary -5a5c427b932fc46d06a600672cff96113c23dc2a71d746606eceadb1aef1e2a9 test/results/test1000-armv7l-binary -b2b9eacf785e498e86c358cfd87834016fc0b8c5ee6efa625bd5a2c9ffb4e1a1 test/results/test1000-knight-posix-binary -88c8e6465f4f618da3906a00371faac872c1b91d24462ecf20482876b77bd40f test/results/test1000-x86-binary +2cb8e7553065d3ad66f5e4c910e603ff8ecc6f52cda8a72c693371f8b04f607e test/results/test1000-aarch64-binary +f30e37be7a4bd42ec5b8cac23e816bf1a12aa56a4f5c385393f9cbda52e2fbe4 test/results/test1000-amd64-binary +1d291a1d5a0c1a589d10acc5c7e0dedb4ac2049cf2951e3dfb03e8f41623e728 test/results/test1000-armv7l-binary +4dcb78a5c5eb8f1b5f6eb40d5e1394fb6dfc5d87217e1b509b66492ccfdc89e1 test/results/test1000-knight-posix-binary +035dfb8b89c56f2348f8dbe6927e4995a4ab3cc7ae83c6a616ec7df6dc028181 test/results/test1000-x86-binary diff --git a/test/test1000/proof.answer b/test/test1000/proof.answer index b4c4e72..ffdb221 100644 --- a/test/test1000/proof.answer +++ b/test/test1000/proof.answer @@ -1 +1 @@ -a5f0e537e84c2db97fafb72865431f778abb3f189de196af00222d90f940c56d test/test1000/proof +a26f3f18d36867ccc4e52d2818833381bd68e219cad32a588d5a090d579d73a1 test/test1000/proof