When running a unittest on a piece of code that uses libCharon we get:
.../Charon/VirtualFile.py:50: ResourceWarning: unclosed file
Reason for this is that the testrunner run python with -W. I think the warning is invalid. Is there a way to prevent this warning?