imitator-model-checker / imitator

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

https://www.imitator.fr/

GNU General Public License v3.0

26 stars 12 forks source link

Function include #117

Closed lbinria closed 2 years ago

lbinria commented 2 years ago

Description

When including a model into another with the preprocessor command include, declared user functions of the including file must be imported.

Finish

Function include can be called
Add non regression test