Martin Hořeňovský

Hi, glad you enjoyed the posts. However, I don't think I ever argued that SAT-based solvers are the end all, be all, but rather that they are easy to write,...

For the record, newer versions of opencv should also support ffmpeg 5.

@Sibras I am a third party, but personally I would prefer if vcpkg had 5.0 version committed before an update to 5.1 happens. It makes keeping versions in sync between...

I am pretty sure you are wrong here. This linking error: ``` c:/users/runneradmin/gcc/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.3.0/../../../../x86_64-w64-mingw32/lib/../lib/libmingw32.a(lib64_libmingw32_a-crt0_c.o):crt0_c.c:(.text+0x46): undefined reference to `WinMain' ``` means that `libmingw32.a` is missing the reference to `WinMain` (because Catch2 doesn't...

[`-municode` needs to be added as link option, not compile option](https://sourceforge.net/p/mingw-w64/wiki2/Unicode%20apps/#unicode-applications). As to your question, `wmain` is used on Windows, when you provide `_UNICODE` define during compilation. This means that...

Does this also happen if you compile Catch2 with safe stack?

This needs a reproducer.

So far, breaking into debugger happens only for failed assertions. This means that this ```cpp #define CATCH_CONFIG_MAIN #include "catch.hpp" int throws() { throw 1; return 1; } TEST_CASE("A") { REQUIRE(throws()...

Sure makes sense.

@LinuxDevon Yeah, the detection is going to be a big set of defined macros check, the idea is to do that somewhere centrally, so that when Catch2 needs to suppress...