Irek M

``` function property_canWithdrawAll() public { ... withdrawAll(); // try this.withdrawAll() as I would use in forge fuzz doesnt' help either ... } function withdrawAll() public { require(false); // simple emulation...

Finally I found the cause: `function property_canWithdrawAll() public returns(bool)` - works as expected. `function property_canWithdrawAll() public` (no `returns`) - doesn't work. It would be nice if Medusa emitted some error...

Something like: ```dockerfile ADD install-feature-1.sh RUN install-feature-1.sh ADD install-feature-2.sh RUN install-feature-2.sh ADD install-feature-3.sh RUN install-feature-3.sh ``` Is much faster than putting all at once, because if I reconfigure only feature...

I made an experimental pull request for that. It needs lots of improvements, but in general - it works.

The random part also comes from `.to_smt2()` method (replacing with `.sexpr()` seems to fix it), and also from somewhere else in the code (I couldn't figure out where, but Z3...

> Hey @iirekm 👋 > > We've released this feature with `neptune==1.13.0`. You can find the release notes here: https://github.com/neptune-ai/neptune-client/releases/tag/1.13.0 > > Can you try it out and let us...

Workaround competitive plugin `id("io.github.ehdrbs0318.lazy3j") version "1.0.4"` seems to work

Figured it out: ``` #!/bin/bash set -xe export SSH_AUTH_SOCK=$HOME/.ssh/agent.sock ALREADY_RUNNING=$(ps -auxww | grep -q "[n]piperelay.exe -ei -s //./pipe/openssh-ssh-agent"; echo $?) if [[ $ALREADY_RUNNING != "0" ]]; then if [[ -S...