Panos Vouzis
Panos Vouzis
@fyodor I see 1.7.1 was released. Was this issued addressed?
I have a similar issue where I use ssl 1.1 under cygwin, but when I upgrade to ssl 3 it crashes.
I am using 4.3. I can reproduce it reliably on my code, but I can't share any minimal example as of now. I can give some more information though. -...
I looked at that in the past, and we had to develop our application on a mulithreaded basis because it has to handle both the tcp and the websocket connection...
Our application is a client (not a server), so we just establish one websocket connection with the server. There is a thread that is launched off of the main execution...
Then I installed it again from master (not from the release) and I don't get the parsing error, butI get the following error: ``` Fatal error: exception LibraryDsl.Pattern.Expected("Library function is...
I did create a database of the whole code with bear. Above, I wanted to show a smaller fraction of the compile code rather the whole thing that was overwhelming....
logPrint is called way too many times. Does goblint have a way to ask it to ignore it? The previous output was on an Ubuntu VM. Actually, if I let...
After increasing the VM memory it finished the analysis in 2460 seconds.
Is there an introductory documentation on how to interpret the results? Are there specific keywords I should search for in the output? Also, how about false positives and false negatives?...