Don't catch org.scalacheck.Prop.Exception

This commit is contained in:
Paolo G. Giarrusso 2012-12-16 19:23:26 +01:00 committed by Mark Harrah
parent c826078002
commit cf08f2dd18
1 changed files with 2 additions and 2 deletions

View File

@ -33,7 +33,7 @@ object SettingsTest extends Properties("settings")
iterate(value(t-1) )
}
try { evaluate( setting(chk, iterate(top)) :: Nil); true }
catch { case e: Exception => ("Unexpected exception: " + e) |: false }
catch { case e: java.lang.Exception => ("Unexpected exception: " + e) |: false }
}
// Circular (dynamic) references currently loop infinitely.
@ -45,7 +45,7 @@ object SettingsTest extends Properties("settings")
{
val ccr = new CCR(intermediate)
try { evaluate( setting(chk, ccr.top) :: Nil); false }
catch { case e: Exception => true }
catch { case e: java.lang.Exception => true }
}
def tests =