From 390e2d696330612b9629206c501846b51da68a7b Mon Sep 17 00:00:00 2001 From: AnHaechan Date: Tue, 29 Aug 2023 07:48:00 +0000 Subject: [PATCH] why3 assignment: partial score --- assets/why3/assignment05/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/assets/why3/assignment05/README.md b/assets/why3/assignment05/README.md index 245b94f..77a4db3 100644 --- a/assets/why3/assignment05/README.md +++ b/assets/why3/assignment05/README.md @@ -3,6 +3,8 @@ * The primary goal of this assignment is to grasp basic concepts about proving a program's correctness with deductive reasoning. * You should fill in `TODO`s in three files: `max.mlw`, `binary_search.mlw`, `pascal.mlw`. + * You will get PARTIAL SCOREs for each of those three files. + * E.g. If `max.mlw` and `binary_search.mlw` get passed, 2 out of 3 points will be given. * You may use [Why3 in your browser](https://why3.lri.fr/try/). * Clicking `Verify` button at the top will open a panel on the right side.