This is related to issue #60. If the data in a program is entirely serializable, we can take a snapshot of that data and compare that snapshot to a future version of that same program. This way, we can let developers manually verify which output of a program is correct and, as a consequence, automatically check which programs are not correct.
This is related to issue #60. If the data in a program is entirely serializable, we can take a snapshot of that data and compare that snapshot to a future version of that same program. This way, we can let developers manually verify which output of a program is correct and, as a consequence, automatically check which programs are not correct.