Comments (1)
I resolved the problem myself. I put it here in case someone else may encounter the same problem.
The problem was in my oracle file, in which I put a absolute path to the test directory to run the tests, which I should not have done. Just putting relative path to test folder makes it work because Angelix will go to different folders that contain instrumented source code files or patch candidates to run tests such as frontend or backend folders.
from angelix.
Related Issues (20)
- Guards not add for certain type of statement
- Support augmented assignments
- Use klee_prefer_cex for characters
- Don't consider expression with 0 suspiciousness score, because they are not executed by failing tests
- Problem of reproducing the angelix test HOT 2
- Dockerfile doesn't build: Unsupported major.minor version 52.0 HOT 1
- What should I write in assert.json if the output includes string? HOT 1
- Files are never closed after being written (in src/repair) HOT 2
- Update for the latest KLEE HOT 1
- Problem of generating the patch for tutorial folder
- Downloading dependencies during docker build fails due to Java certificates
- https://git.llvm.org/git/clang-tools-extra not accessible HOT 2
- compiling failed HOT 4
- Angelix docker version failed test HOT 4
- make with multi-threaded fail HOT 1
- Can't pass the tutorial test HOT 14
- Can't pass tutorial test HOT 1
- Can't reproduce experimental results with docker image
- Error: make default
- Angelix example from `Tutorial.md` fails to find a repair with `--instr-printf distance.c` 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 angelix.