"There is an option (-D) in the TITAN compiler which disables generation of user and time information into the files."
You know.... I would have saved several hours of my life time if that option had been LISTED IN YOUR 👺 💩 MAN PAGE among all the other ones which are already listed there.
OK... Let's calm down and figure out where to submit a patch to their man page....
Man page patch submitted: https://github.com/eclipse/titan.core/pull/124
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!