Bug#982148: frama-c: autopkgtest failure: nothing logged

[Gianfranco Costamagna]

control: tags -1 patch pending

I'm uploading to let the package transition to testing.

G.