update choice figure to include equality test with Equiv
[matthijs/master-project/dsd-paper.git] / compilerpipeline.svg
compilerpipeline.svg