|
|
|
@ -53,12 +53,10 @@ def _analyze_state(state, node): |
|
|
|
|
|
|
|
|
|
not_creator_constraints = [] |
|
|
|
|
if len(state.world_state.transaction_sequence) > 1: |
|
|
|
|
try: |
|
|
|
|
creator = state.world_state.transaction_sequence[0].caller |
|
|
|
|
for transaction in state.world_state.transaction_sequence[1:]: |
|
|
|
|
not_creator_constraints.append(Not(Extract(159, 0, transaction.caller) == Extract(159, 0, creator))) |
|
|
|
|
except IndexError: |
|
|
|
|
return [] |
|
|
|
|
creator = state.world_state.transaction_sequence[0].caller |
|
|
|
|
for transaction in state.world_state.transaction_sequence[1:]: |
|
|
|
|
not_creator_constraints.append(Not(Extract(159, 0, transaction.caller) == Extract(159, 0, creator))) |
|
|
|
|
not_creator_constraints.append(Not(Extract(159, 0, transaction.caller) == 0)) |
|
|
|
|
|
|
|
|
|
try: |
|
|
|
|
model = solver.get_model(node.constraints + not_creator_constraints) |
|
|
|
|