You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
yes, most things can be gameable.....
I think this Post is a request to get input of ideas on how to improve the code parameters ........for one example: so that they can't(or much more difficult to) be gamed.