Elizabeth Dinella
Elizabeth Dinella
Hi, just checking, is there any update on this?
Ah okay, so there is some require failing in the byte code? (Rather than something wrong with the way I am deploying the byte code)
Great, I had a suspicion this was the case. How did you figure this out? I was having trouble since the error message was vague. `echidna-test: Deploying the contract 0x9559067eBb005c002EAd3CD0e09D97C39177ba34...
Any way to get around this without modifying the Brownie source? Perhaps in the config?
Solved by adding my single function to the `--always` flag and removing probabilistic exclusion. I'll leave this open since I don't see a `generate_config` function anywhere in the `echidna-parade` repo,...
When I remove the `public static final int[] ZeroMagnitude = new int[0];` variable on line 12 of `NetBigInteger/NetBigInteger.java` (and all references to it), the exception does not occur.