camlspotter / learnHA

Learns a hybrid automaton model from trajectories of Cyber-Physical Systems.
GNU General Public License v3.0
0 stars 0 forks source link

Prerequisites

Install Pipenv:

pip install pipenv

Install the required packages and the packages for development with Pipenv:

pipenv install --dev

Tests

To test the project 'learnHA' and to make sure that the code we write works.

Run the script file 'run_tests' using the command:

./run_tests

When you contribute, you need to add tests on the features you add.

To find help on pipenv, see https://realpython.com/pipenv-guide/#pipenv-introduction

✍️ Authors