Manuel Carrasco
Manuel Carrasco
I'm having a very similar issue on my first attempt to use Embeddinator. > 10. Copy the 'MonoTestDLL.dll' at the path where 'TestCLIApp.exe' resides Which MonoTestDLL.dll do you mean? If...
This bug in TinyBCT is quite dangerous because the boogie code will be typed.
The exception is also thrown in advance-pta using Analysis-Explorer.
Any news?
Thanks for the quick response! I think a fix should take this into account: 1. A malformed BMP can provide at least inconsistent values for the `offset`, `header_size` and `file_size`...
Thanks! It looks good to me for the case in which a file path is provided instead of a `FILE*`. The issue is with `fsiz` is that it is computed...
Yes, it looks good to me in regard to the UB :+1: A minor comment would be that the new fsize is not restoring the original file position. In our...
@abdonkov What about allowing the constructors to receive a `IComparer` rather than constraining the generic parameter? I mean this similarly to how [SortedSet](https://docs.microsoft.com/en-us/dotnet/api/system.collections.generic.sortedset-1.-ctor?view=net-6.0#system-collections-generic-sortedset-1-ctor(system-collections-generic-icomparer((-0)))) works.
> That will mean runtime error when used incorrectly and I'm not completely sure I want that. Yes, you're right - you can have runtime errors. > However, something that...
Thank you so much for looking into this! I'll also try to debug this further Ultimately, I want to extract the path conditions for each fully explored path. I noticed...