[tests] Set tests machdep to x86_32

tests/basic/aggregate.cpp

 /* run.config
-OPT: @CXX@ @EVA@ -print
+OPT: @MACHDEP@ @CXX@ @EVA@ -print
 */
 
 struct A {

tests/basic/extern.cc

 /* run.config
-   OPT: @CXX@ -check -print -cxx-demangling-full
+   OPT: @MACHDEP@ @CXX@ -check -print -cxx-demangling-full
 */
 
 extern "C" {

tests/basic/extern_static_const.cpp

 /* run.config
-   OPT: @CXX@ -check -print -cxx-keep-mangling
+   OPT: @MACHDEP@ @CXX@ -check -print -cxx-keep-mangling
 */
 
 extern "C" {

tests/basic/nullptr_builtin.cpp

 /* run.config
-OPT: @CXX@ -print
+OPT: @MACHDEP@ @CXX@ -print
 COMMENT: test handling of built-in nullptr_t
 */
 

tests/basic/static_1.cpp

 /* run.config
    GCC:
-   OPT: tests/basic/static_1_aux.cpp -print -check -cxx-c++stdlib-path share/libc++ -cxx-clang-command="bin/framaCIRGen"
+   OPT: @MACHDEP@ tests/basic/static_1_aux.cpp -print -check -cxx-c++stdlib-path share/libc++ -cxx-clang-command="bin/framaCIRGen"
 */
 
 

tests/bts/fixed_from_1757.cpp

 /* run.config
-OPT: -deps -check -print
+OPT: @MACHDEP@ -deps -check -print
 */
 
 //@ assigns \nothing;

tests/bts/preprocessor_1786.cpp

 /* run.config
-OPT: -cpp-extra-args="-DFOO" -print
-OPT: -cxx-clang-command="bin/framaCIRGen -DFOO" -print 
+OPT: @MACHDEP@ -cpp-extra-args="-DFOO" -print
+OPT: @MACHDEP@ -cxx-clang-command="bin/framaCIRGen -DFOO" -print 
 */
 
 #ifdef FOO

tests/bugs/test_config

-OPT:-print @CXX@ @WP@
+OPT:@MACHDEP@ -print @CXX@ @WP@

tests/da/test_config

-OPT:-print @CXX@ @WP@
+OPT:@MACHDEP@ -print @CXX@ @WP@

tests/exn/all_exn.cpp

 /* run.config
-   OPT: @CXX@ -check -print
+   OPT: @MACHDEP@ @CXX@ -check -print
 */
 
 

tests/exn/integer_exn.cpp

 /* run.config
-   OPT: @CXX@ -no-remove-exn -print -check
-   OPT: @CXX@ -check -print
-   OPT: @CXX@ @EVA@
+   OPT: @MACHDEP@ @CXX@ -no-remove-exn -print -check
+   OPT: @MACHDEP@ @CXX@ -check -print
+   OPT: @MACHDEP@ @CXX@ @EVA@
  */
 enum foo { BAR = 2 };
 

tests/exn/simple_exn.cpp

 /* run.config
-   OPT: @CXX@ -check -print
+   OPT: @MACHDEP@ @CXX@ -check -print
 */
 
 int f(int x) { if (x < 0) throw(5); else if (x > 0) throw(5.0); return 2; }

tests/exn/unsigned_exn.cpp

 /* run.config
-   OPT: @CXX@ -check -print
+   OPT: @MACHDEP@ @CXX@ -check -print
 */
 
 int f(int x) { if (x < 0) throw(5); else if (x > 0) throw(5U); return 2; }

tests/old/recv.cc

 /* run.config
-   OPT: @CXX@ @ALLOC@ -eva-slevel 12 @EVA@ -out -journal-disable -no-annot
+   OPT: @MACHDEP@ @CXX@ @ALLOC@ -eva-slevel 12 @EVA@ -out -journal-disable -no-annot
 */
 class A {
   int val;

tests/ppwp/test_config

-OPT:-print @CXX@ @WP@
+OPT:@MACHDEP@ -print @CXX@ @WP@

tests/slicing/basic_slice.cc

 /* run.config
-   OPT: @EVA@ -slice-assert ::f -slice-callers -slice-print -journal-disable
+   OPT: @MACHDEP@ @EVA@ -slice-assert ::f -slice-callers -slice-print -journal-disable
 */
 struct A {
   int x;

tests/specs/assigns.cc

 /* run.config
-OPT: @CXX@ @EVA@ -out -journal-disable -print
+OPT: @MACHDEP@ @CXX@ @EVA@ -out -journal-disable -print
 */
 /*@ behavior default:
     assigns p \from q,p;

tests/specs/extern.cpp

 /* run.config
-OPT: @CXX@ -check -print -cxx-keep-mangling
+OPT: @MACHDEP@ @CXX@ -check -print -cxx-keep-mangling
 */
 
 namespace Foo {

tests/specs/float.cpp

 /* run.config
-OPT: -check -print -float-hex @CXX@
+OPT: @MACHDEP@ -check -print -float-hex @CXX@
 */
 
 //@ ensures \result == 0.4;

tests/specs/lex.cc

 /* run.config
- OPT: @CXX@ -pp-annot -journal-disable -print
+ OPT: @MACHDEP@ @CXX@ -pp-annot -journal-disable -print
 */
 /*@ axiom foo: \true;
 // just a test for the lexer of annotations