Update mythril/laser/ethereum/plugins/implementations/mutation_pruner.py

Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com>
5 years ago · 7638f2c688
parent 534677ceff
commit 7638f2c688
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/plugins/implementations/mutation_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/mutation_pruner.py
@ -67,6 +67,7 @@ class MutationPruner(LaserPlugin):
                solver.get_model(constraints)
                return
            except UnsatError:
+                # callvalue is constrained to 0, therefore there is no balance based world state mutation
                pass

            if len(list(global_state.get_annotations(MutationAnnotation))) == 0: