Skip to content

Commit

Permalink
Add cairo-runtime-native to dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
Rog3rSm1th committed Nov 7, 2024
1 parent c199ae0 commit aaa72c4
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 6 deletions.
7 changes: 6 additions & 1 deletion cairo-native-fuzzer/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,8 @@ edition = "2021"
cairo-lang-compiler = "2.8.4"
cairo-lang-sierra = "2.8.4"
cairo-lang-starknet = "2.8.4"
cairo-native = "0.2.0-alpha.4"
cairo-native = { version = "0.2.0-alpha.4", features = ["with-runtime"] }
cairo-native-runtime = { version = "0.2.0-alpha.4", optional = true }
clap = "4.5.20"
rand = "0.8.5"
starknet-types-core = "0.1.7"
Expand All @@ -16,3 +17,7 @@ starknet-types-core = "0.1.7"
git = 'https://github.com/FuzzingLabs/cairo-rs'
rev = '48af153240392992f18a09e969bae6518eec9639'
package = 'cairo-felt'

[features]
default = ["with-runtime"]
with-runtime = ["dep:cairo-native-runtime"]
5 changes: 1 addition & 4 deletions cairo-native-fuzzer/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,12 +7,9 @@ Cairo Native Fuzzer is a rewrite of the Cairo Fuzzer based on [Cairo native from
### Step 1 : Create a basic fuzzer based on Cairo Native :
- [x] Implement the Cairo Native runner
- [x] Implement the fuzzer based on Cairo Native runner
- [ ] Import existing Felt252 mutator from the cairo-fuzzer
- [x] Import existing mutator from the cairo-fuzzer

### Step 2 : Integrate existing cairo-fuzzer features into Cairo Native fuzzer :
- [ ] Multithreading
- [ ] Support config files
- [ ] Property testing

### Step 3 : Advanced features :
- [ ] Support `u8`, `u16`, `u32`, `u64`, `u128` and `u256` arguments
2 changes: 1 addition & 1 deletion cairo-native-fuzzer/examples/fuzzinglabs.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ mod test_contract {
bal:u8
}
#[external(v0)]
fn greet(
fn Fuzz_symbolic_execution(
ref self: ContractState,
f: felt252,
u: felt252,
Expand Down

0 comments on commit aaa72c4

Please sign in to comment.