Pialex99 comments

Repositories
Issues
Comments

Results 1 comments of


                                            Pialex99

Test's config not transferred to Prusti server

Using `-Pserver_address=MOCK` worked! Using `-Pserver_address=""` results in a panic `a parsed Url should always be a valid Uri: InvalidUri(InvalidUriChar)` at reqwest-0.11.13/src/into_url.rs:70:14.