From 3a0515d331c41beaab355ef03677f4490bc67f54 Mon Sep 17 00:00:00 2001 From: Daniel Nezamabadi <55559979+dnezam@users.noreply.github.com> Date: Thu, 25 Apr 2024 12:05:38 +0200 Subject: [PATCH] Fix link in evaluation/README.md --- evaluation/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evaluation/README.md b/evaluation/README.md index e2d5f3d..9d27819 100644 --- a/evaluation/README.md +++ b/evaluation/README.md @@ -16,7 +16,7 @@ Contains plots comparing the results from different experiments. ## `experiments/` ### `program_proofs_example_10_2/` -We use the proof for `InsertCorrect` from [chapter 10.2 of Program Proofs encoded in Gobra] (https://github.com/viperproject/program-proofs-gobra/blob/main/chapter10/examples_10.2.gobra) +We use the proof for `InsertCorrect` from [chapter 10.2 of Program Proofs encoded in Gobra](https://github.com/viperproject/program-proofs-gobra/blob/main/chapter10/examples_10.2.gobra) to investigate the effect of "assisting" the verifier on execution time and quantifier instantiations by means of intermediate assertions.