diff --git a/Examples/quadratic_roots.mdl b/Examples/quadratic_roots.mdl index dc74060e5b53240c3f6d0ba46744c4ec8b675e40..0f8e6eee2221a63900f2290df1bb0f613943ae8f 100644 --- a/Examples/quadratic_roots.mdl +++ b/Examples/quadratic_roots.mdl @@ -6,7 +6,7 @@ Model { NumRootInports 0 NumRootOutports 0 ParameterArgumentNames "" - ComputedModelVersion "1.14" + ComputedModelVersion "1.16" NumModelReferences 0 NumTestPointedSignals 0 } @@ -26,9 +26,9 @@ Model { ModifiedByFormat "%" LastModifiedBy "matthew" ModifiedDateFormat "%" - LastModifiedDate "Tue Jul 2 16:44:16 2013" - RTWModifiedTimeStamp 294684118 - ModelVersionFormat "1.%" + LastModifiedDate "Thu Jul 4 13:01:59 2013" + RTWModifiedTimeStamp 294843674 + ModelVersionFormat "1.%" ConfigurationManager "none" SampleTimeColors off SampleTimeAnnotations off @@ -1614,8 +1614,8 @@ Model { "ch will give the real roots\nof a quadratic function.\n\nresults are compared to the matlab function roots, resu" "lts are \ngenerally the same, although sometimes there is a small error\non the order of 1e-16.\n\nCurrently doe" "s not activly check that inputs satisfy subtype\nconstraints, in these cases proper output is not guaranteed.\n\n" - "This example will not work under CVC3 as complex functions like\nsqrt are not supported.\n\nTo verify this table" - " requres the NASA PVS Library." + "This example will not work under CVC3 as complex functions like\nsqrt are not supported.\n\nThis example require" + "s the NASA PVS libraries" Position [223, 343] } }