search

whole-tale / wt-prov-model

Experiments, design documents, and prototypes supporting a provenance model for Tales and runs.
MIT License
0 stars 1 forks source link

Option to mask timestamps in extracted ReproZip facts #6

Closed tmcphillips closed 4 years ago

tmcphillips commented 4 years ago

The differences in timestamps make the exported facts from a ReproZip trace vary from run to run of the same program. Provide an option for masking (replacing with nil) the timestamps in these facts so that repeated runs give exactly the same facts.

tmcphillips commented 4 years ago

The -m option to rpz2prolog now does this. The common Makefile for the examples uses it so that facts are repeatable from run to run.