argv argument as Input to the target program

[Oliver Pohl]

When compiling the target program with symcc and executing it afterwards like this: ./targetprogram 6
With 6 as Input , it doesnt generate any testcases instead I am getting just this ouput:

This is SymCC running with the simple backend
For anything but debugging SymCC itself, you will want to use the QSYM backend instead (see README.md for build instructions)
WARNING: unknown parameter 'timeout'
Legal parameters are:
auto_config (bool) (default: true)
debug_ref_count (bool) (default: false)
dump_models (bool) (default: false)
model (bool) (default: true)
model_validate (bool) (default: false)
proof (bool) (default: false)
rlimit (unsigned int) (default: 4294967295)
smtlib2_compliant (bool) (default: false)
timeout (unsigned int) (default: 4294967295)
trace (bool) (default: false)
trace_file_name (string) (default: z3.log)
type_check (bool) (default: true)
unsat_core (bool) (default: false)
well_sorted_check (bool) (default: false)

targetprogram:

#include <stdlib.h>
#include <stdio.h>

int main(int argc, char* argv[]) {
int x;
int res;
int y;
y = atoi(argv[1]);

if(y>5){
printf("%d",y);

return 0;
}

x = 1000;
res = x/y;

return 0;
}