It is impossble to change log file without kinds of message changing.

ID0002274: This issue was created automatically from Mantis Issue 2274. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0002274	Frama-C	Kernel	public	2017-01-19	2017-01-24

Reporter	Max P.	Assigned To	maroneze	Resolution	open
Priority	low	Severity	tweak	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C 14-Silicon	Target Version	-	Fixed in Version	-

Description :

I wanted to explore how the analysis settings affect the output messages. I changed settings and name of log file. But output messages were copied in the file that was pointed firstly. Only if kinds of messages are changed a new file is created.

Steps To Reproduce :

In GUI do follows:

1. Set -kernel-log rw:kernel.log
2. Run analysis
3. Verify that a file kernel.log was created.
4. Set -kernel-log rw:kernel2.log
5. Run analysis
6. Verify that a file kernel2.log was not created, but the time of last modification of the kernel.log was changed.
7. Set -kernel-log ruw:kernel2.log
8. Run analysis
9. Verify that a file kernel2.log was created.