~tapaal-contributor/tapaal/ctl-query-fix-1540367

Viewing all changes in revision 1039.

  • Committer: Jakob Dyhr
  • Date: 2017-06-12 13:14:15 UTC
  • Revision ID: jdyhr12@student.aau.dk-20170612131415-a168vzxx0t65cd6u
Do not show error pop up when trace is enabled on CTL query, instead write it in the statistics dialog. Also enable all search strategies in CTL dialog

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: