frama99

I read previous tickets and thought it would be a good idea to do these tests immediately :-) Besides that I had some hope that `--no-src` would solve the problem...

I repeated your steps (disassemble, rebuild, disassemble) and can confirm your findings. The smail-files are identical, except some default values. The missing default assignments seem to be no problem since...

Sorry. Click accident.