reduce size of eva output

util/frama_c.js

@@ -298,7 +298,7 @@ function frama_c(file_system, compile_commands, mode, options = {})
 							args = args.concat([ '-json', '-json-out', 'result.json' ]);
 							break;
 						case 'eva':
-							args = args.concat([ '-eva -eva-verbose 0' ]);
+							args = args.concat([ '-eva', '-eva-verbose 0' ]);
 							if((options.eva !== undefined) && (options.eva.main !== undefined))
 							{
 								args = args.concat(['-main', options.eva.main ]);