Float printing might be depending on Java version

smarr · smarr · commit 74a1f45ac020 · 2025-07-15T22:42:47.000+01:00
Signed-off-by: Stefan Marr &lt;git@stefan-marr.de&gt;
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -27,7 +27,7 @@ jobs:
           export VM=./som.sh
           export CLASSPATH=Smalltalk
           export TEST_EXCEPTIONS=./integration-tests.yml
-          pytest core-lib/IntegrationTests
+          pytest --tb=short core-lib/IntegrationTests
 
       - name: CheckStyle
         run: |
diff --git a/integration-tests.yml b/integration-tests.yml
@@ -15,7 +15,7 @@ failing_as_unspecified:
 
   # I think this one is about E vs e, but maybe also double rendering
   - core-lib/IntegrationTests/Tests/double2.som
-  # - core-lib/IntegrationTests/Tests/double_double_div.som
+  - core-lib/IntegrationTests/Tests/double_double_div.som
   # - core-lib/IntegrationTests/Tests/int_double_div.som
   # - core-lib/IntegrationTests/Tests/integer_asdouble.som
 
@@ -115,7 +115,7 @@ failing_as_unspecified:
 
   - core-lib/IntegrationTests/Tests/test_literals_limit_1.som
   - core-lib/IntegrationTests/Tests/unknown_field_write.som
-  
+
   # This should be specified so that the "set" of fields cannot be changed reflectively
   # they obtained array can be changed, but it is expected to have no effect.
   - core-lib/IntegrationTests/Tests/mutate_fields.som
