Revision dbab1fe5 - [lustrev] fixed some issues when calling Z3. Seems working for the moment: ba... - LustreC

« Previous | Next »

Revision dbab1fe5

Added by Pierre-Loïc Garoche over 6 years ago

ID dbab1fe52f6375936e8c376d96b871e36ca4f41a
Parent 9f3de818
Child 5275a6fd

[lustrev] fixed some issues when calling Z3. Seems working for the moment: basic call to Z3 and sat/unsat result

added
modified
copied
renamed
deleted

src
- tools
  - zustre
    - zustre_analyze.ml (diff)
    - zustre_common.ml (diff)
    - zustre_test.ml (diff)