Skip to content
  • Alexandre Duret-Lutz's avatar
    cgi: Add an nondeterministic monitor option · abb51705
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/postproc.hh (run): Rename the first argument as
    input_disown to help Swig.
    * wrap/python/spot.i: Wrap spot::postprocessor.
    * wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/protocol.txt:
    Add an option for nondeterministic monitor.
    * wrap/python/ajax/spot.in: Honor the new option, and rewrite the
    monitor production using postprocessor.
    abb51705