Symbolic parity game generation and solving is not available since refactor

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

52 stars 30 forks source link

Symbolic parity game generation and solving is not available since refactor #165

Closed gijskant closed 4 years ago

gijskant commented 5 years ago

Since the symbolic tool has been refactor (which is a major improvement), detection if the current tool is a PBES instantiation tool (#ifdef LTSMIN_PBES) is not functioning. This check has to be moved to the tool specific options.c. Symbolic parity game generation and solving depend on this.