You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
What actions do you have in mind @ned, can you give an example? I have thought a little about it but still think it could be gameable..Anyhow Oracles sounds interesting.
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.