Comments (4)
Reported by michael.ernst
on 2014-02-15 04:12:01
from daikon.
I have tested and re-enabled 'tcas' and 'perl'. The remaining test 'povray' appears
to require a lot of work. I am lowering priority of this task.
Reported by [email protected]
on 2014-03-06 17:15:59
- Labels added: Priority-Low
- Labels removed: Priority-Medium
from daikon.
Reported by [email protected]
on 2014-03-06 19:29:00
- Status changed:
Started
from daikon.
It does not seem possible, at this time, to get this test to pass on all platforms. It is written in C++ and uses lots of the tricky bits. The generated Dwarf code turns out to be very compiler dependent.
In addition, the test case itself is timing dependent and X11 enabled dependent. So either we need a unique set of goal files for each compiler/system combination or we just leave it turned off. We have opted for the later.
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.