apollo-backend/eu.yeger.apollo.model_checker/modelCheckerRoutes

modelCheckerRoutes

fun Route.modelCheckerRoutes()(source)

Appends all routes for ModelChecking to the given Route.

Receiver

The base Route.

Author

Jan Müller