Comments (7)
I have modified tests/daikon-tests/Makefile to disable this test for now.
Reported by [email protected]
on 2014-02-05 17:09:01
from daikon.
typo - should be "make dyncomp-diff"
Reported by [email protected]
on 2014-02-05 17:13:28
from daikon.
Is the whole test disabled, or just the parts that are currently failing? It might
be better to keep the test enabled and either change the goal files (keeping this bug
report as an indication that the goal file should be changed back) or disable just
the parts that are currently failing. Otherwise, it will be possible to make other
breaking regressions that this test would have revealed.
Reported by michael.ernst
on 2014-02-05 17:58:36
from daikon.
Per Michael's suggestion, I have updated the baselines with the 'bad' goals so that
while waiting for a fix we can continue to run all the tests. Hence, I have enabled
this test case.
Reported by [email protected]
on 2014-02-05 19:35:46
from daikon.
Reported by [email protected]
on 2014-10-27 22:35:55
from daikon.
Interesting note: if you use --no-jdk then you get the expected result. In the past, I noticed something similar with java.util.Random, but have not been able to find a similar cause as yet.
from daikon.
Decided not to use the instrumented version of Random as the method generates values based on an initial seed value. This has the undesirable side effect of putting all the generated values in the same comparison set when they should be distinct.
fixed with e16e5ad
from daikon.
Related Issues (20)
- Junit with Daikon HOT 4
- DynComp: a fatal error has been detected by the Java Runtime Environment HOT 2
- DynComp: a fatal error has been detected by the Java Runtime Environment (ClassNotFoundException) HOT 6
- -DO_DIFFS should be true HOT 1
- Trouble terminating when running 'runcluster.pl' and help with inputs for daikon HOT 1
- Getting InaccessibleObjectException while using AnnotateNullable HOT 4
- Extend front ends to output more variable values HOT 3
- Minor user manual (documentation) issues HOT 1
- DynComp does not work for command line inputs HOT 3
- `daikon.bashrc` Should Not Add JAVA_HOME to $PATH HOT 1
- Inferring invariants with hierarchical dataflow
- Daikon compilation failure (missing dependency requirements, pdf failure during compilation, etc.) HOT 1
- Chicory regression regarding unmodifiable derived variables HOT 1
- NoClassDefFoundError when executing Java program with DynComp HOT 2
- Daikon DynComp IllegalArgumentException on a Defects4J Project HOT 10
- Daikon Failed to Execute when Using runcluster.pl with kmeans Option
- Inconsistent documentation for compiling Daikon locally
- Daikon crash on some benchmarks in NJR dataset HOT 2
- java.lang.RuntimeException: Can't find parent variable HOT 1
- Evosuite tests - IllegalArgumentException Duplicate method name "equals" HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from daikon.