TestWebInterface

Jump to bottom

Matthias Heizmann edited this page Jun 9, 2024 · 6 revisions

The documentation for the webinterface is available in the repository.

https://github.com/ultimate-pa/ultimate/tree/dev/trunk/source/WebBackend