This GitLab instance reached the end of its service life. It won't be possible to create new users or projects.

Please read the deprecation notice for more information concerning the deprecation timeline

Visit migration.git.tu-berlin.de to import your old projects to the new GitLab platform 📥

Commit 8775557f by benkeks

readme text

parent 78822ee5
......@@ -12,13 +12,13 @@ Building the web tool
---------------------
The web tool can be built using `sbt webStage`. After that, `web/target/web/stage/index.html` contains the tool.
Test of the algorithms on a set of transition systems are triggered by `sbt test`. (Unfortunately, the node.js integration in the project is a little unfirm. It may be that you have to manually install node.js modules for the tests to run, for example, `npm install jsdom` in the `code` directory.)
Tests of the algorithms on a set of transition systems are triggered by `sbt test`. (Unfortunately, the node.js integration in the project is a little unfirm. It may be that you have to manually install node.js modules for the tests to run, for example, `npm install jsdom` in the `code` directory.)
(You will need sbt. For installation instructions, go to <https://www.scala-sbt.org/download.html>.)
The Apache Flink program
------------------------
A program to compute coupled simulation reslations using Apache Flink, can be used via `sbt flink/run`.
A program to compute coupled simulation reslations using Apache Flink can be used via `sbt flink/run`.
The program takes the following arguments:
......@@ -35,4 +35,4 @@ Switch | Effect
(Arguments are channelled through sbt like this: `sbt "flink/run --ts myTransitionSystem.csv"`)
Test can be run by `sbt flink/test`.
Tests can be run by `sbt flink/test`.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment