From 39f51db79ffe9e6a34baa3e3b1d3108bc8b044bc Mon Sep 17 00:00:00 2001 From: Alexis Le Glaunec <44121643+alexis51151@users.noreply.github.com> Date: Thu, 21 Jul 2022 15:56:38 -0500 Subject: [PATCH] Update gs_python.md behavior link path fixed --- docs/gs_python.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/gs_python.md b/docs/gs_python.md index 5f0527d..b2d0772 100644 --- a/docs/gs_python.md +++ b/docs/gs_python.md @@ -13,7 +13,7 @@ We import Reelay monitors as follows: import reelay ``` -The package consists of two constructs `discrete_time_monitor` and `dense_timed_monitor`. Normally you would select discrete timed model if you work on discrete time behaviors and dense timed model if dense time behaviors. This choice depends on on your system and needs. If you haven't already, please check the documentation on [discrete and dense time behaviors](docs/behaviors.md) before proceeding. +The package consists of two constructs `discrete_time_monitor` and `dense_timed_monitor`. Normally you would select discrete timed model if you work on discrete time behaviors and dense timed model if dense time behaviors. This choice depends on on your system and needs. If you haven't already, please check the documentation on [discrete and dense time behaviors](behaviors.md) before proceeding. ## Check Requirements over Discrete Time Behaviors @@ -59,4 +59,4 @@ print(results) # Print all where `faulty_sys_behavior` is a list of dicts. And the output `r1` is similarly a list of dicts that contains the result at that time step. -The complete source file of the dense timed monitor of DOW warning tutorial can be found [here](https://github.com/doganulus/reelay/blob/master/apps/tutorial/door_open_warning/python/dense_tutorial.py). \ No newline at end of file +The complete source file of the dense timed monitor of DOW warning tutorial can be found [here](https://github.com/doganulus/reelay/blob/master/apps/tutorial/door_open_warning/python/dense_tutorial.py).