search

gernst / legion-symcc

Fresh implementation of the Legion algorithm on top of SyMCC
Other
0 stars 1 forks source link

Fix unexpected exhausted node #4

Closed gernst closed 2 years ago

gernst commented 2 years ago

Sometimes the accounting for which parts of the tree are exhausted/explored fails. Probably linked to wrong path constraints in #2 but could be something different.

gernst commented 2 years ago

Bug was: we kept track of known input values as integers, ignoring the size, so 2 byte 0 and 4 byte 0 would be regarded the same.