(* TODO: parameters *)
ID0000112: This issue was created automatically from Mantis Issue 112. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000112 | Frama-C | Plug-in > jessie | public | 2009-06-02 | 2009-12-03 |
| Reporter | sboldo | Assigned To | cmarche | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
hello,
I am in trunk, svn version 5349. I fell into an assert false) (* TODO: parameters *) which is at line 718 of jc/jc_interp_misc.ml
The C file is attached. It tackles loops with floating-point matrices.
Regards,
Sylvie Boldo