Capitalized filename in Dynamic.load_module
ID0001276: This issue was created automatically from Mantis Issue 1276. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001276 | Frama-C | Kernel | public | 2012-09-20 | 2015-03-17 |
| Reporter | Anne | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Oxygen-20120901 | Target Version | - | Fixed in Version | Frama-C Sodium |
Description :
When calling Dynamic.load_module "share/lib/file" if fails because it is looking for [./share/lib/File.cmxs] instead of [./share/lib/file.cmxs].
I guess there is a bad String.capitalize there.
(Warning: it seems that there is the same problem in the following function 'load_script')