search

Ecdar / Reveaal

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
5 stars 7 forks source link

Remove state field from the reachability result #139

Open Mati-AAU opened 1 year ago

Mati-AAU commented 1 year ago

Currently there seems to be no use for the State field for the reachability query in the protobuf response, it can probably be removed.

This requires modifying protobuf aswell, maybe even GUI aswell? Not sure.