Loi Luu
Results
3
comments of
Loi Luu
Hi @leonardoalt I think OBMC is a great idea and it is definitely a different approach than Oyente. However, i doubt the practicality of it since its not always feasible...
@inian if possible, please update the status of this PR!
These opcodes we can't symbolically represent them. We do support them in a different manner though. Especially we allow users to set a specific testing environment to test these opcodes....