From 50fef812d3037efd794aff00f5aa20cb80c61490 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Fri, 10 May 2019 10:37:51 +0200
Subject: [PATCH] add comment on how to lock
---
notebooks/experiments/DeliveryExercise.ipynb | 55 +++++++++++++++++---
1 file changed, 47 insertions(+), 8 deletions(-)
diff --git a/notebooks/experiments/DeliveryExercise.ipynb b/notebooks/experiments/DeliveryExercise.ipynb
index 3f41be6..a288272 100644
--- a/notebooks/experiments/DeliveryExercise.ipynb
+++ b/notebooks/experiments/DeliveryExercise.ipynb
@@ -4,7 +4,7 @@
"cell_type": "markdown",
"metadata": {},
"source": [
- "# Exercice Sheet\n",
+ "# Exercice Sheet: B Expressions\n",
"\n",
"You are given a B machine with three given sets:\n",
"* a set ```S``` of online shops\n",
@@ -17,8 +17,11 @@
},
{
"cell_type": "code",
- "execution_count": 13,
- "metadata": {},
+ "execution_count": 25,
+ "metadata": {
+ "deletable": false,
+ "editable": false
+ },
"outputs": [
{
"data": {
@@ -26,7 +29,7 @@
"Loaded machine: exercise1"
]
},
- "execution_count": 13,
+ "execution_count": 25,
"metadata": {},
"output_type": "execute_result"
}
@@ -48,7 +51,7 @@
},
{
"cell_type": "code",
- "execution_count": 14,
+ "execution_count": 26,
"metadata": {},
"outputs": [
{
@@ -57,7 +60,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 14,
+ "execution_count": 26,
"metadata": {},
"output_type": "execute_result"
}
@@ -178,15 +181,51 @@
},
{
"cell_type": "code",
- "execution_count": null,
+ "execution_count": 24,
"metadata": {},
- "outputs": [],
+ "outputs": [
+ {
+ "ename": "CommandExecutionException",
+ "evalue": ":assert: Error while evaluating assertion: Computation not completed: Could not infer type of T,Could not infer type of sol2",
+ "output_type": "error",
+ "traceback": [
+ "\u001b[1m\u001b[31m:assert: Error while evaluating assertion: Computation not completed: Could not infer type of T,Could not infer type of sol2\u001b[0m"
+ ]
+ }
+ ],
"source": [
":assert SHA_HASH_HEX(sol2) = \"29bac35e283e6637fd22c2c8ee4a17a8d4ff52a3\""
]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "# Comments:\n",
+ "To lock cells you can do this:\n",
+ "\n",
+ "\n",
+ "* menu: view → cell toolbar → edit metadata.\n",
+ "* make this like\n",
+ "```\n",
+ "{\n",
+ " \"trusted\": true,\n",
+ " \"editable\": false,\n",
+ " \"deletable\": false\n",
+ "}\n",
+ "```"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": null,
+ "metadata": {},
+ "outputs": [],
+ "source": []
}
],
"metadata": {
+ "celltoolbar": "Edit Metadata",
"kernelspec": {
"display_name": "ProB 2",
"language": "prob",
--
GitLab