bugfix. r671 re-enabled checking counter-examples. However it checks the "query" which is sometimes (always ?) left undefined by the smtlib parser.
bugfix. r671 re-enabled checking counter-examples. However it checks the "query" which is sometimes (always ?) left undefined by the smtlib parser.



git-svn-id: 5069ba8be4c997ee907bf46f8ec9a2bbfb655637@675 e59a4935-1847-0410-ae03-e826735625c1

linpc/STP,linpc/STP,linpc/STP,linpc/STP,linpc/STP