Regarding the issue of creating a project

[Jay Ironman]

Hello, when I was creating the S2E project, I encountered the following error. I completely followed the instructions https://s2e.systems/docs/Howtos/Coverage/index.html#line -Why does it still prompt me that I haven't specified the type even though I have already specified it for the cover for the Linux kernel operation? Is this an S2E bug?

[Vitaly Chipounov]

Hi,

Please try https://github.com/S2E/s2e-env/pull/506

Vitaly

On Sat, Jul 27, 2024 at 10:40 AM Jay Ironman <ironman...@gmail.com> wrote:

Hello, when I was creating the S2E project, I encountered the following error. I completely followed the instructions https://s2e.systems/docs/Howtos/Coverage/index.html#line -Why does it still prompt me that I haven't specified the type even though I have already specified it for the cover for the Linux kernel operation? Is this an S2E bug?

--
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/c29b5186-131c-4a0b-88a7-0268d8dd581dn%40googlegroups.com.