Fix type errors in tests/chr_tests.ipynb

Now that ProB supports reals, an expression like x>y is no longer sufficient to infer that x and y are integers.

Fix type errors in tests/chr_tests.ipynb
d2d85b8b · dgelessus · 2aaa99ba · d2d85b8b
Commit d2d85b8b authored 3 years ago by dgelessus
--- a/notebooks/tests/chr_tests.ipynb
+++ b/notebooks/tests/chr_tests.ipynb
@@ -80,7 +80,7 @@
    }
   ],
   "source": [
-    "x>y & y>x"
+    "x : INTEGER & x>y & y>x"
   ]
  },
  {
@@ -125,7 +125,7 @@
    }
   ],
   "source": [
-    "x>y & y>x"
+    "x : INTEGER & x>y & y>x"
   ]
  }
 ],

 %% Cell type:code id: tags:

 ``` prob
 :pref CHR
 ```

 %% Output

    CHR = false

 %% Cell type:code id: tags:

 ``` prob
 :pref CHR=TRUE
 ```

 %% Output

    Preference changed: CHR = TRUE

 %% Cell type:code id: tags:

 ``` prob
 :pref CHR
 ```

 %% Output

    CHR = true

 %% Cell type:code id: tags:

 ``` prob
-x>y & y>x
+x : INTEGER & x>y & y>x
 ```

 %% Output

    $\mathit{FALSE}$
    FALSE

 %% Cell type:code id: tags:

 ``` prob
 :pref CHR=FALSE
 ```

 %% Output

    Preference changed: CHR = FALSE

 %% Cell type:code id: tags:

 ``` prob
-x>y & y>x
+x : INTEGER & x>y & y>x
 ```

 %% Output

    $\mathit{time\_out}$
    time_out