Add test for segfault - Githubissues

Munksgaard / session-types

MIT License

550 stars 21 forks source link

Closed Munksgaard closed 5 years ago

Munksgaard commented 5 years ago

@Manishearth The exception has been reproduced on this branch. Run cargo test to see it. It's also visible here: https://travis-ci.org/Munksgaard/session-types/jobs/513126045

Munksgaard commented 5 years ago

@Manishearth Check out the drop_server.rs test in this PR