Frama-C Bug Tracking System - Frama-C
View Issue Details
0001276Frama-CKernelpublic2012-09-20 11:502015-03-17 22:18
Anne 
virgile 
normalmajorhave not tried
closedfixed 
Frama-C Oxygen-20120901 
Frama-C Sodium 
0001276: Capitalized filename in Dynamic.load_module
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')
No tags attached.
Issue History
2012-09-20 11:50AnneNew Issue
2012-09-20 13:09signolesStatusnew => assigned
2012-09-20 13:09signolesAssigned To => signoles
2014-10-24 14:49virgileAssigned Tosignoles => virgile
2014-10-24 15:28virgileNote Added: 0005519
2014-10-24 15:28virgileStatusassigned => resolved
2014-10-24 15:28virgileResolutionopen => fixed
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:18signolesStatusresolved => closed

Notes
(0005519)
virgile   
2014-10-24 15:28   
Fix committed to master branch.