Comments (2)
console.log should not be modeled in Jalangi. I do not skip invocation of console.log in replay mode because we want to use console.log to print debugging information and to use it in testrr. If I convert the argument of console.log to string and log it, then testrr will never fail because in that situation replay will always sync the right value and print it.
from jalangi.
Ok. I guess it's better to have failures and then understand why instead of masking them.
from jalangi.
Related Issues (20)
- remove literal() callback for constructor calls? HOT 3
- support delete operation HOT 2
- no invokeFun callback when invoked function throws an exception
- Add ChainedAnalyses2 by default when running with analysis2 HOT 1
- ChainedAnalyses2 adds significant slowdown
- Wrong scope for the exception variable in catch blocks HOT 1
- No callbacks called for assignments to the for-in loop variable
- Weird instrumentation for for-in assignments to properties HOT 1
- Wrong instrumentation for reads of eval
- Feature request: callback for the getter/setter values
- Bug in computeTopLevelExpressions for `o.p += ...`
- Bug: analysis.declare gets isArgument=false, for a shared parameter and argument name
- no literal callback for top-level function declarations in eval'd string HOT 4
- tizen browser test failed on my machine HOT 1
- A mistake in documentation HOT 1
- shadowing of undefined HOT 1
- console.log.length HOT 1
- How can i use Jalangi framework in my use case HOT 1
- non-minified version of demo.js HOT 2
- Need help
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 jalangi.