Updated Buffer and Matcher Classes (#171)

[jpf-core.git] / src / tests / gov / nasa / jpf / test / java / text / DecimalFormatTest.java

diff --git a/src/tests/gov/nasa/jpf/test/java/text/DecimalFormatTest.java b/src/tests/gov/nasa/jpf/test/java/text/DecimalFormatTest.java
index 481265938ec213dacc102be5389c0fa2dd06ffb7..05fc224aa5a9aa1de008cc01e4ab853fa4033d4d 100644 (file)
--- a/src/tests/gov/nasa/jpf/test/java/text/DecimalFormatTest.java
+++ b/src/tests/gov/nasa/jpf/test/java/text/DecimalFormatTest.java
@@ -26,6 +26,7 @@ import java.text.DecimalFormatSymbols;
 import java.text.FieldPosition;
 import java.text.NumberFormat;
 import java.text.ParsePosition;
+import java.util.Locale;
 
 import org.junit.Test;
 
@@ -64,6 +65,8 @@ public class DecimalFormatTest extends TestJPF {
       assertTrue(format.isParseIntegerOnly());
       format = NumberFormat.getNumberInstance();
       assertFalse(format.isParseIntegerOnly());
+      format = NumberFormat.getNumberInstance(Locale.ENGLISH);
+      assertFalse(format.isParseIntegerOnly());
     }
   }