Use cache in simulation queries

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

Use cache in simulation queries #162

Closed seblund closed 1 year ago

seblund commented 1 year ago

A quick change to make it so simulation handlers use the cache that they are provided with.

Also added the code needed to handle the case where components hash is zero (e.g. not set in the proto). We simply don't store nor retrieve it from the cache.