Are there any usage of this implement?

[jacky18008]

I am reading your paper: "Verifying Equivalence of Spark Programs", and found this repository.
I want to try and test the algorithm you mentioned in the paper, but I can't find a way to execute the whole program, are there any usage or something alike?

[shellygr]

Hi Jacky,
You can read this:
http://www.cs.tau.ac.il/~shellygr/vms/SparkEquivalenceREADME.txt

It provides an overview on the implementation.

Basically, to execute it you need to run tester.py.

[jacky18008]

Thank you for your reply!
I will try it then!