search

uniba-swt / swtbahn-cli

A client-server command line interface for the SWTbahn.
GNU General Public License v3.0
7 stars 3 forks source link

Add (experimental) integration of a verification server for model upload #49

Closed BLuedtke closed 1 year ago

BLuedtke commented 2 years ago

When train engine or interlocker models are uploaded, their safety properties shall be verified by an external application (swtbahn-verifier). I shall start working on integration of the required changes (we need a websocket client) in an experimental/dev branch.

BLuedtke commented 2 years ago

There's an existing branch "verify_engine_models". Shall I open a different branch for working on this?

eyip002 commented 2 years ago

There's an existing branch "verify_engine_models". Shall I open a different branch for working on this?

I have reset the branch to be up-to-date with master

eyip002 commented 2 years ago

Merged changes from master branch. See commit https://github.com/uniba-swt/swtbahn-cli/commit/24fcd36c767f7fb3f593d19d8b38c833532e24f1