Michael Nebel b53fa0f7f3 Java: Ensure that it is the callable for the model origin that carries the comment containing the model.

2024-05-06 16:41:58 +02:00

..

flowtestcasegenerator

Java: Make some rudimentary tooling for testing the flow test case generator script.

2022-11-28 09:07:40 +01:00

modeleditor

Accept that lots of sinks are now summaries as well

2024-04-01 14:03:36 +01:00

modelgenerator

Java: Ensure that it is the callable for the model origin that carries the comment containing the model.

2024-05-06 16:41:58 +02:00