formalmethods / intrepid Goto Github PK

Hi
When I try to import intrepyd
I obtain the following exception in the module api.py:
File "D:\pymbd\floatvsreal\intrepyd\api.py", line 20, in swig_import_helper
import _api
ImportError: No module named _api

Lustre designs are translated with stand-alone top nodes, but they'd better be presented as Circuits, to allow test generation and equivalence checking

Passing a non-watched net to

intrepid.utils.counterexample_get_as_dictionary

causes crash. Should throw exception instead, at least