Bug in axioms encoding subtype information involving generics - Githubissues

m-carrasco / TinyBCT

MIT License

3 stars 2 forks source link

Bug in axioms encoding subtype information involving generics #39

Closed rcastano closed 6 years ago

rcastano commented 6 years ago

I added a repro as a test:

https://github.com/m7nu3l/TinyBCT/blob/2c02f2670e7d8657e98a7d6ec31a56f3b287036e/TinyBCT/Tests/Tests.cs#L874-L904