We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
I see this warning
missing crate link meta 'name', using 'libhello.so' as default
'libhello.so' is not the default value for name, 'hello' is. Should investigate what is really going on here.
The text was updated successfully, but these errors were encountered:
Are you still seeing this? Could you please provide a test file?
I cannot reproduce it, tried both *.rs and a companion *.rc.
Sorry, something went wrong.
I can't reproduce it either. Closing.
asm
Update libloading to 0.7.3
eef75dd
This was previously done in bfcf97b, but got reverted due to a bug. The bug seems to be fixed now. Fixes rust-lang#1137
Bump CBMC version to 5.56.0 (rust-lang#1137)
0aada0c
No branches or pull requests
I see this warning
'libhello.so' is not the default value for name, 'hello' is. Should investigate what is really going on here.
The text was updated successfully, but these errors were encountered: