Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    ltsmin: implement a two-step loading · 907b72fb
    Alexandre Duret-Lutz authored 
    * spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh: Split load_ltsmin() into
ltsmin_model::load() and ltsmin_model::kripke().  Report errors using
exceptions instead of on std::cerr.
* python/spot/ltsmin.i: Deal with exceptions.
* tests/ltsmin/modelcheck.cc, tests/python/ltsmin.ipynb: Adjust.
    907b72fb
To find the state of this project's repository at the time of any of these versions, check out the tags.