Comments (1)
The approach above is intentionally simple. There tons of things that could be done around testing. And IMO anything fancier should be discussed as another issue. Here I'm trying to propose the minimum that would quickly improve productivity when testing.
from miden-vm.
Related Issues (20)
- Add procedures to initialize the hasher state HOT 2
- Add procedures to read and verify data from the advice stack HOT 3
- Test sha256_hash_memory is flaky
- Add mutation testing strategy HOT 3
- Create method to add list of values to advice provider
- Change `FailedSignatureGeneration`'s inner type to `String`
- Allow setting the kernel via the CLI
- Allow setting debug mode via CLI HOT 3
- Allow repeat opcode to be set programmatically HOT 3
- comparison instructions should accept immediate values HOT 1
- When both values are not u32 the error for instruction u32assert2 should carry both
- Add an inverse of u32split instruction HOT 1
- Allow changing constant values prior to execution
- Optimization of `sys::truncate_stack` procedure in `stdlib`
- Block hash table: don't iterate over entire trace to find `HALT`
- Support the immediate values for `u32` comparison instructions HOT 1
- CI: Add `cargo clippy` with the `executable` feature HOT 4
- `MastForest`: Add convenience method for tests
- Detect invalid stack access by child procedure HOT 3
- `MastForest` and `MastNodeId`: add `Tag` generic parameter
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 miden-vm.