Replay functionality - Githubissues

hephaestus-compiler-project / hephaestus

A framework for testing compilers' type checkers

https://hephaestus-compiler-project.github.io/

GNU General Public License v3.0

49 stars 10 forks source link

Closed theosotr closed 3 years ago

theosotr commented 3 years ago

In order to effectively debug the programs, we need to implement a proper replay functionality.

To do so, we need to implement the following:

An option --random-seed to give a random seed to random generator.
Replay should repeat the transformations performed in the last run with exactly the same order.
The initial_program.kt must correspond to the program produced by the generator and not the previous transformation.

StefanosChaliasos commented 3 years ago

@theosotr any update?

StefanosChaliasos commented 3 years ago

We have already implemented it.