ID0000624: **This issue was created automatically from Mantis Issue 624. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000624 | Frama-C | Kernel | public | 2010-11-10 | 2014-03-13 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | teamod | **Assigned To** | correnson | **Resolution** | fixed | | **Priority** | urgent | **Severity** | crash | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Boron-20100401 | **Target Version** | Frama-C Neon-20140301 | **Fixed in Version** | Frama-C Neon-20140301 | ### Description : The environment is exactly the same as described in 0000623, below is the output. [kernel] The full backtrace is: Raised by primitive operation at file "src/kernel/log.ml", line 201, characters 9-24 Called from file "format.ml", line 299, characters 4-28 Called from file "format.ml", line 428, characters 6-72 Called from file "format.ml", line 435, characters 6-24 Called from file "format.ml", line 1152, characters 8-28 Called from file "format.ml", line 1157, characters 10-25 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "format.ml", line 1157, characters 10-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "src/memory_state/offsetmap.ml", line 265, characters 6-66 Called from file "src/lib/rangemap.ml", line 172, characters 20-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "src/memory_state/lmap.ml", line 290, characters 4-43 Called from file "src/memory_state/relations_type.ml", line 750, characters 4-43 Called from file "format.ml", line 1157, characters 10-25 Called from file "queue.ml", line 134, characters 6-20 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 50, characters 4-20 Called from file "src/kernel/cmdline.ml", line 170, characters 4-8 Unexpected error (Invalid_argument("String.create")). Please report as 'crash' at http://bts.frama-c.com