From 7641e3a91fa3a88052dfd57a7872391c20886f2b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 22 Oct 2024 16:03:59 +0200
Subject: [PATCH] minor update
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
sks/1_B_Sprache.ipynb | 31 ++++++++++++++++---------------
1 file changed, 16 insertions(+), 15 deletions(-)
diff --git a/sks/1_B_Sprache.ipynb b/sks/1_B_Sprache.ipynb
index d381992..6711a00 100644
--- a/sks/1_B_Sprache.ipynb
+++ b/sks/1_B_Sprache.ipynb
@@ -45,7 +45,7 @@
},
{
"cell_type": "code",
- "execution_count": 15,
+ "execution_count": 2,
"metadata": {
"vscode": {
"languageId": "classicalb"
@@ -61,7 +61,7 @@
"5"
]
},
- "execution_count": 15,
+ "execution_count": 2,
"metadata": {},
"output_type": "execute_result"
}
@@ -79,7 +79,7 @@
},
{
"cell_type": "code",
- "execution_count": 2,
+ "execution_count": 3,
"metadata": {
"vscode": {
"languageId": "classicalb"
@@ -95,7 +95,7 @@
"FALSE"
]
},
- "execution_count": 2,
+ "execution_count": 3,
"metadata": {},
"output_type": "execute_result"
}
@@ -113,7 +113,7 @@
},
{
"cell_type": "code",
- "execution_count": 25,
+ "execution_count": 4,
"metadata": {
"vscode": {
"languageId": "classicalb"
@@ -129,7 +129,7 @@
"{FALSE}"
]
},
- "execution_count": 25,
+ "execution_count": 4,
"metadata": {},
"output_type": "execute_result"
}
@@ -147,7 +147,7 @@
},
{
"cell_type": "code",
- "execution_count": 20,
+ "execution_count": 5,
"metadata": {
"vscode": {
"languageId": "classicalb"
@@ -163,7 +163,7 @@
"{FALSE}"
]
},
- "execution_count": 20,
+ "execution_count": 5,
"metadata": {},
"output_type": "execute_result"
}
@@ -184,7 +184,7 @@
},
{
"cell_type": "code",
- "execution_count": 4,
+ "execution_count": 6,
"metadata": {
"vscode": {
"languageId": "classicalb"
@@ -200,7 +200,7 @@
"5"
]
},
- "execution_count": 4,
+ "execution_count": 6,
"metadata": {},
"output_type": "execute_result"
}
@@ -1328,16 +1328,17 @@
},
{
"cell_type": "code",
- "execution_count": 51,
+ "execution_count": 7,
"metadata": {},
"outputs": [
{
- "ename": "CommandExecutionException",
- "evalue": ":eval: NOT-WELL-DEFINED: \ncard applied to very large set, cardinality not representable in ProB: closure([x],[integer],b(greater(b(identifier(...),integer,[...]),b(value(...),integer,[...])),pred,[nodeid(none)]))\n\n",
+ "ename": "WithSourceCodeException",
+ "evalue": "de.prob.exception.ProBError: NOT-WELL-DEFINED\nProB returned error messages:\nError: card applied to infinite set, cardinality not representable in ProB: {x|x > 2} (:1:0 to 1:13)",
"output_type": "error",
"traceback": [
- "\u001b[1m\u001b[31m:eval: NOT-WELL-DEFINED: \u001b[0m",
- "\u001b[1m\u001b[31mcard applied to very large set, cardinality not representable in ProB: closure([x],[integer],b(greater(b(identifier(...),integer,[...]),b(value(...),integer,[...])),pred,[nodeid(none)]))\u001b[0m"
+ "\u001b[1m\u001b[30mError from ProB: \u001b[0m\u001b[1m\u001b[31mNOT-WELL-DEFINED\u001b[0m",
+ "\u001b[1m\u001b[31mError: card applied to infinite set, cardinality not representable in ProB: {x|x > 2} (:1:0 to 1:13)\u001b[0m",
+ "\u001b[1m\u001b[30m\u001b[0m\u001b[1m\u001b[30m\u001b[41mcard({x|x>2})\u001b[0m\u001b[1m\u001b[30m\u001b[0m"
]
}
],
--
GitLab