failed random test antiSymmetricLTESame

[jurgenvinju]

Error Message

Test antiSymmetricLTESame failed due to  test returns false  Type parameters:  &Same => node Actual parameters:  &Same =>""(fKTcwrE={$0232-06-23T02:49:13.046+01:00$,$0729-09-09T13:11:14.595+01:00$,$2015-08-19T03:02:31.863+01:00$,$2015-02-24T06:07:42.851+01:00$})  &Same =>""()  
Stacktrace

java.lang.Exception: Test antiSymmetricLTESame failed due to
    test returns false

Type parameters:
    &Same => node
Actual parameters:
    &Same =>""(fKTcwrE={$0232-06-23T02:49:13.046+01:00$,$0729-09-09T13:11:14.595+01:00$,$2015-08-19T03:02:31.863+01:00$,$2015-02-24T06:07:42.851+01:00$})
    &Same =>""()


    at org.rascalmpl.test.infrastructure.RascalJUnitTestRunner$Listener.report(RascalJUnitTestRunner.java:173)
    at org.rascalmpl.interpreter.TestEvaluator.runTests(TestEvaluator.java:83)
    at org.rascalmpl.interpreter.TestEvaluator.test(TestEvaluator.java:45)
    at org.rascalmpl.test.infrastructure.RascalJUnitTestRunner.run(RascalJUnitTestRunner.java:134)
    at org.junit.runners.Suite.runChild(Suite.java:127)
    at org.junit.runners.Suite.runChild(Suite.java:26)
    at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
    at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
    at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
    at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
    at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
    at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
    at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:252)
    at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:141)
    at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:112)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:601)
    at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray(ReflectionUtils.java:189)
    at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:165)
    at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:85)
    at org.apache.maven.surefire.booter.ForkedBooter.runSuitesInProcess(ForkedBooter.java:115)
    at org.apache.maven.surefire.booter.ForkedBooter.main(ForkedBooter.java:75)

[jurgenvinju]

goed gedaan. hoe zit deze in de RVM? @PaulKlint

[PaulKlint]

I assume (!) that @tvdstorm has added a test that exposes this behavior and then the compiler tests will find this as well. Nonetheless I will check, but I guess the compiler does not handle this case either.

[tvdstorm]

@PaulKlint You know, assumptions... I'll add a test.

[jurgenvinju]

It's back in a slightly different form:

java.lang.Exception: Test lang::rascal::tests::basic::Equality::antiSymmetricLTESame failed due to
    test returns false

Type parameters:
    &Same => tuple[num]
Actual parameters:
    &Same =><0>
    &Same =><0.0>

[DavyLandman]

I thought this never actually went away?

[jurgenvinju]

There are a few of such tests. This example can not be fixed until we make 0!=0.0

[jurgenvinju]

Depends on #415