Comments (2)
msridhar
commented on September 25, 2024
We're also getting a huge trace file for go. If on master you run:
python scripts/jalangi.py testrr_app tests/tizen/go
This tests record-replay for go playing five moves. The trace from recording is 76MB (over 2.3 million lines). Furthermore, you can see that the record phase is quite slow; this could be due to generating all the trace info.
from jalangi.
msridhar
commented on September 25, 2024
The commit above seems to reduce the annex trace file by a significant amount also. Closing this issue for now; if we find specific problems in the future, we can create new issues.
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.