ebmc conflict assignment

[Reza behzadi]

Hello. I am a graduate student.

The reason that I send a letter to you is that I have some questions about EBMC.

I make an image about my problem and input source file's in a folder but I can't attach the folder.

I really need your help to resolve this problem 

Plzzzzzz help me

Thank you 

[Martin Nyx Brain]

Sorry to hear that you are having a hard time. EBMC uses some of the
same code as CPROVER / CBMC but the Verilog front-end is not open
source as far as I know. Last I heard Daniel Kroening had access to
the repo and there was some work happening on it at Diffblue but that
was a few years ago. TBH really, you will need to contact him.

Cheers,
- Martin