You are viewing a single comment's thread from:

RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]

in #smt-oracles7 years ago (edited)

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.

Sort:  

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.