[TestGen script] add method to replace (return X;) => (return rand();) and (return X;) => (exit(0)=>exit(rand())) - Githubissues

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation

0 stars 0 forks source link

[TestGen script] add method to replace (return X;) => (return rand();) and (return X;) => (exit(0)=>exit(rand())) #31

Open izlatkin opened 2 years ago