File not properly opened

Open miguelvalido02 opened this issue 10 months ago • 0 comments

Hello, When I run the docker image provided, I cannot open solidity files in order to test them. When I run the command ./SolidityCheck --r [File] I get the following error

[File] is not properly opened! terminate called after throwing an instance of 'std::bad_alloc' what(): std::bad_alloc Aborted (core dumped)

Am I doing something wrong?

Mar 28 '25 09:03 miguelvalido02