[tests] refactoring of sparecode tests

tests/sparecode/bts324.i

 /* run.config
-   OPT: -sparecode-analysis -eva-show-progress -sparecode-debug 1 -journal-disable
-   OPT: -sparecode-analysis -eva-show-progress -sparecode-debug 1 -main main_bis -journal-disable
-   OPT: -sparecode-analysis -eva-show-progress -sparecode-debug 1 -main main_ter -journal-disable
+   STDOPT: +"-sparecode-analysis"
+   STDOPT: +"-sparecode-analysis -main main_bis"
+   STDOPT: +"-sparecode-analysis -main main_ter"
 
 */
 

tests/sparecode/bts324_bis.i

 /* run.config
-   OPT: -sparecode-analysis -eva-show-progress -sparecode-debug 1 -journal-disable
-   OPT: -sparecode-analysis -eva-show-progress -sparecode-debug 1 -main main_bis -journal-disable
-   OPT: -sparecode-analysis -eva-show-progress -sparecode-debug 1 -sparecode-no-annot -journal-disable
+   STDOPT: +"-sparecode-analysis"
+   STDOPT: +"-sparecode-analysis -main main_bis"
+   STDOPT: +"-sparecode-analysis -sparecode-no-annot"
 */
 
 int ki[2], k ;

tests/sparecode/bts334.i

 /*run.config
- OPT: -main main_init -sparecode-analysis -eva-show-progress -sparecode-no-annot  -journal-disable
- OPT: -main main_init -eva-show-progress -slice-pragma loop_body -journal-disable -then-on 'Slicing export' -print
- OPT: -main main_init -eva-show-progress -slice-pragma loop_body -calldeps -journal-disable -then-on 'Slicing export' -print
+ STDOPT: +"-sparecode-debug 0 -main main_init -sparecode-analysis -sparecode-no-annot "
+ STDOPT: +"-sparecode-debug 0 -main main_init -slice-pragma loop_body -then-on 'Slicing export' -print"
+ STDOPT: +"-sparecode-debug 0 -main main_init -slice-pragma loop_body -calldeps -then-on 'Slicing export' -print"
  */
 int kf ;
 int k[2] ;

tests/sparecode/bts927.i

 /*  run.config
- OPT: -no-warn-signed-overflow -sparecode -eva-show-progress
- OPT: -warn-signed-overflow -sparecode -eva-show-progress
+ STDOPT: +"-sparecode-debug 0 -no-warn-signed-overflow -sparecode"
+ STDOPT: +"-sparecode-debug 0 -warn-signed-overflow -sparecode"
 */
 
 /* The purpose of these tests is to check if the conditions are removed

tests/sparecode/calls.i

 /* run.config
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -journal-disable
-   OPT: -slicing-level 2 -slice-return main -eva-show-progress -journal-disable -then-on 'Slicing export' -print
+   STDOPT: +"-sparecode-analysis"
+   STDOPT: +"-slicing-level 2 -slice-return main -then-on 'Slicing export' -print"
 */
 int G;
 

tests/sparecode/dead_code.i

 /* run.config
-   OPT: -sparecode-debug 1 -sparecode -eva-show-progress -journal-disable
-   OPT: -slicing-level 2 -slice-return main -eva-show-progress -journal-disable -then-on 'Slicing export' -print
+   STDOPT: +"-sparecode"
+   STDOPT: +"-slicing-level 2 -slice-return main -then-on 'Slicing export' -print"
 */
 
 int main (void) {

tests/sparecode/glob_decls.i

 /* run.config
- OPT: -lib-entry -journal-disable -sparecode-debug 1 -sparecode-analysis -eva-show-progress 
- OPT: -lib-entry -slice-pragma main -slice-return main -eva-show-progress -journal-disable -then-on 'Slicing export' -print
- OPT: -journal-disable -sparecode-debug 1 -sparecode-rm-unused-globals
+ STDOPT: +"-lib-entry -sparecode-analysis "
+ STDOPT: +"-lib-entry -slice-pragma main -slice-return main -then-on 'Slicing export' -print"
+ STDOPT: +"-sparecode-rm-unused-globals"
 */
 
 // can be removed

tests/sparecode/intra.i

 /* run.config
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -journal-disable
-   OPT: -eva-show-progress -slicing-level 2 -slice-return main -journal-disable -then-last -print
-   OPT: -main main2 -sparecode-analysis -eva-show-progress -journal-disable
-   OPT: -main main2 -slice-return main2 -eva-show-progress -journal-disable -then-last -print
-   OPT: -main main2 -slice-return main2 -eva-show-progress -slice-assert f10 -journal-disable -then-last -print
+   STDOPT: +"-sparecode-analysis"
+   STDOPT: +"-sparecode-debug 0 -slicing-level 2 -slice-return main -then-last -print"
+   STDOPT: +"-sparecode-debug 0 -main main2 -sparecode-analysis"
+   STDOPT: +"-sparecode-debug 0 -main main2 -slice-return main2 -then-last -print"
+   STDOPT: +"-sparecode-debug 0 -main main2 -slice-return main2 -slice-assert f10 -then-last -print"
 */
 
 /* Waiting for results such as:

tests/sparecode/issue_157.i

 /* run.config
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -journal-disable
+   STDOPT: +"-sparecode-analysis"
 */
 
 int f() {

tests/sparecode/params.i

 /* run.config
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -journal-disable
-   OPT: -eva-show-progress -slicing-level 2 -slice-return main -journal-disable -then-last -print -eva-show-progress
+   STDOPT: +"-sparecode-analysis"
+   STDOPT: +"-slicing-level 2 -slice-return main -then-last -print"
 */
 
 /* This is an example from #529. 'y' in [main1] should be visible to get a

tests/sparecode/se.i

 /* run.config
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -lib-entry -main Se -journal-disable
+   STDOPT: +"-sparecode-analysis -lib-entry -main Se"
 */
 int glob;
 

tests/sparecode/test_config

+OPT: -journal-disable -eva-show-progress -sparecode-debug 1

tests/sparecode/top.i

 /* run.config
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -journal-disable -main main_top
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -journal-disable -main main_call_top
-   OPT: -sparecode-debug 1 -sparecode-analysis -eva-show-progress -journal-disable -main main_top_not_used
+   STDOPT: +"-sparecode-analysis -main main_top"
+   STDOPT: +"-sparecode-analysis -main main_call_top"
+   STDOPT: +"-sparecode-analysis -main main_top_not_used"
 */
 
 void print (int x);