utwente-fmt / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation
Apache License 2.0
41 stars 8 forks source link

Ignore files and print human readable strings of errno #2

Closed Meijuh closed 8 years ago

Meijuh commented 8 years ago

@trolando can be merged into Sylvan, I just ran into this problem again.

trolando commented 8 years ago

I've "merged" the request (manually, since things were changed)