Michalis Kargakis

@frangio maybe there are two parts into this: one is Natspec and the other one is inline comments like `/// @custom:oz-upgrades-unsafe-allow constructor` which is not a breaking change. It may...

Sure, it's a record generated by synthea ([record.tar.gz](https://github.com/eug48/fhir/files/3213549/record.tar.gz)). Note that I am using the same record in all of those parallel requests and rely on the fact that every time...

My context is tests running in parallel - when run serially (or with the same `X-Mutex-Name` set on every request), I don't see this issue.

I run an update on both `btcd` and `btcwallet` a couple of days ago. Let me run another one now and post another stacktrace while having this reproduced **UPDATE** Removed...

In the latest simulations i have been running, i have noticed that i/o timeouts only happens when i use 7-8 or more actors. All simulations normally finish but i think...

I am suspecting that the reason behind i/o timeouts now happening to a-fixed-number-of-actors simulations (7 in my case) and more rather than randomly to any number [of actors] has to...

May be worth to document this somewhere but this is fixed by remapping: ```console manticore [path/to/contract] --solc-remaps "@openzeppelin/=node_modules/@openzeppelin/" ```

We already have `oc convert`, we are just missing the conversions.

/remove-lifecycle rotten

I am seeing this issue even with `--ignore-compile` in a [Foundry repo](https://github.com/outdoteth/caviar). ```console $ slither --version 0.9.2 ```