Change default trace dir to traces/<timestamp> about modelator HOT 4 CLOSED

The trace directory is optional and, if it's not changed on every run, the traces will be generated in the same dir. Are Apalache sequence numbers enough to not overwrite old trace files?

from modelator.

Sequence numbers are not enough. But having both versions (timestamped & non-timestamped) would be enough.

On the second note: trace directory is optional, but if not provided (and also, config file not provided) it will be set to None so no traces will be generated (This surprised me actually, so it might be another thing to reconsider: here)

from modelator.

On the second note: trace directory is optional, but if not provided (and also, config file not provided) it will be set to None so no traces will be generated (This surprised me actually, so it might be another thing to reconsider: here)

Good point. This is addressed in the PR #249.

from modelator.

An idea from the sync by @hvanz : a nice solution might be to have as a default folder traces/<timestamp>/. That way, when the user consciously gives a folder name, there will be no mess with timestamps, while at the same time avoiding unintended overwriting of existing traces

from modelator.