Skip to content
Commit 01021058 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

By default verify quadratic roots with pvs. 

Since CVC3 failes epically with this model, just default to PVS
to make testing it easier for users.


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@10149 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 8eb456ae
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment