lookup.tz test occasionally fails
Description
Interpreter tests were added in !549 (merged).
One of them may fail depending on what hedgehog
generates. It happened once in this build.
Morley interpreter unexpectedly failed.
Passed parameter: Unit.
Passed storage: Pair "2010-05-14T15:39:41Z" (Pair 1391667597330944391 "tz28XQLKDpjhAKVLcQmNJFmARc6mvSUCb1Yz").
Morley interpreter failed with: The sender (KT1Qs1yTseprcJmB51mNo2scQ7TVdSTb7L6g) doesn't have enough funds (has only 4000000000000 μꜩ)
This failure can be reproduced by running:
> recheck (Size 1) (Seed 14927752585215158877 4794634736354463921) compare result with morley interpreter for ../../contracts/tezos_examples/mini_scenarios/lockup.tz
Apparently it happens because that contract may transfer x
XTZ to some address, x
is part of the parameter (1391667597330944391
in this case). And 4000000000000 < 1391667597330944391.
Steps to reproduce
According to the test output:
Use '--hedgehog-replay "Size 1 Seed 14927752585215158877 4794634736354463921"' to reproduce.
Expected behaviour
Test passes for all seeds.
Actual behaviour
Test fails on that specific seed.
Environment
It happened in !598 (merged), the exact revision will be garbage collected, current master is 4540e80e.