Skip to content

Commit 8a74145

Browse files
committed
Miri test
1 parent 1d8d3aa commit 8a74145

File tree

5 files changed

+532
-91
lines changed

5 files changed

+532
-91
lines changed

content/hacking/captain-game.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -555,7 +555,7 @@ We can't use `String` directly.
555555
```shell
556556
Compiling game v0.1.0 (/private/var/folders/g5/hf7q78jn0vngnqtqj_3qfm6r0000gn/T/cargo-contract_GdJJAl)
557557
error[E0412]: cannot find type `String` in this scope
558-
--> /Users/aimeez/github/contract-game/src/game/lib.rs:49:51
558+
--> /<my_path>/contract-game/src/game/lib.rs:49:51
559559
|
560560
49 | pub fn create_game_account(&mut self, role_name: String) -> Result<(), Error> {
561561
| ^^^^^^ not found in this scope

content/hacking/learn-rust.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ tags = ["rust", "log"]
77
categories = ["hacking"]
88
draft = false
99
[menu.main]
10-
weight = 2009
10+
weight = 2008
1111
identifier = "learn-rust"
1212
+++
1313

@@ -112,7 +112,7 @@ Rust weaknesses:
112112

113113
```shell
114114
$ ~/.cargo/bin
115-
-bash: /Users/aimeez/.cargo/bin: is a directory
115+
-bash: /<my_path>/.cargo/bin: is a directory
116116

117117
$ cd ~/.cargo/bin
118118
$ ls
@@ -126,7 +126,7 @@ cargo-fmt cargo-web rust-gdb simple-http-server
126126
cargo-fuzz clippy-driver rust-lldb sslocal
127127

128128
$ which cargo
129-
/Users/aimeez/.cargo/bin/cargo
129+
/<my_path>/.cargo/bin/cargo
130130

131131
$ ls -lh
132132
total 496760

content/hacking/play-with-substrate.md

Lines changed: 53 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ tags = ["rust", "substrate", "blockchain"]
77
categories = ["hacking"]
88
draft = false
99
[menu.main]
10-
weight = 2003
10+
weight = 2006
1111
identifier = "play-with-substrate"
1212
+++
1313

@@ -144,7 +144,7 @@ $ cargo contract build && cargo contract generate-metadata
144144
[1/3] Building cargo project
145145
Compiling mytest v0.1.0 (/var/folders/g5/hf7q78jn0vngnqtqj_3qfm6r0000gn/T/cargo-contract_p7eKiU)
146146
error[E0412]: cannot find type `String` in this scope
147-
--> /Users/aimeez/github/mytest/lib.rs:11:16
147+
--> /<my_path>/mytest/lib.rs:11:16
148148
|
149149
11 | value: String,
150150
| ^^^^^^ not found in this scope
@@ -197,7 +197,7 @@ mod mytest {
197197

198198
#[ink(storage)]
199199
pub struct Mytest {
200-
value: String,
200+
value: String,
201201
}
202202

203203
impl Mytest {
@@ -349,76 +349,76 @@ extern crate compiler_builtins;
349349
use ink_lang as ink;
350350
mod flipper {
351351
impl ::ink_lang::ContractEnv for Flipper {
352-
type Env = ::ink_env::DefaultEnvironment;
352+
type Env = ::ink_env::DefaultEnvironment;
353353
}
354354
type Environment = <Flipper as ::ink_lang::ContractEnv>::Env;
355355
type AccountId =
356-
<<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::AccountId;
356+
<<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::AccountId;
357357
type Balance = <<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::Balance;
358358
type Hash = <<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::Hash;
359359
type Timestamp =
360-
<<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::Timestamp;
360+
<<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::Timestamp;
361361
type BlockNumber =
362-
<<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::BlockNumber;
362+
<<Flipper as ::ink_lang::ContractEnv>::Env as ::ink_env::Environment>::BlockNumber;
363363
#[cfg(not(feature = "ink-as-dependency"))]
364364
const _: () = {
365-
impl<'a> ::ink_lang::Env for &'a Flipper {
366-
type EnvAccess = ::ink_lang::EnvAccess<'a, <Flipper as ::ink_lang::ContractEnv>::Env>;
367-
fn env(self) -> Self::EnvAccess {
368-
Default::default()
369-
}
370-
}
371-
impl<'a> ::ink_lang::StaticEnv for Flipper {
372-
type EnvAccess =
373-
::ink_lang::EnvAccess<'static, <Flipper as ::ink_lang::ContractEnv>::Env>;
374-
fn env() -> Self::EnvAccess {
375-
Default::default()
376-
}
377-
}
365+
impl<'a> ::ink_lang::Env for &'a Flipper {
366+
type EnvAccess = ::ink_lang::EnvAccess<'a, <Flipper as ::ink_lang::ContractEnv>::Env>;
367+
fn env(self) -> Self::EnvAccess {
368+
Default::default()
369+
}
370+
}
371+
impl<'a> ::ink_lang::StaticEnv for Flipper {
372+
type EnvAccess =
373+
::ink_lang::EnvAccess<'static, <Flipper as ::ink_lang::ContractEnv>::Env>;
374+
fn env() -> Self::EnvAccess {
375+
Default::default()
376+
}
377+
}
378378
};
379379
#[cfg(not(feature = "ink-as-dependency"))]
380380
/// Defines the storage of your contract.
381381
/// Add new fields to the below struct in order
382382
/// to add new static storage fields to your contract.
383383
pub struct Flipper {
384-
/// Stores a single `bool` value on the storage.
385-
value: bool,
384+
/// Stores a single `bool` value on the storage.
385+
value: bool,
386386
}
387387
const _: () = {
388-
impl ::ink_storage::traits::SpreadLayout for Flipper {
389-
#[allow(unused_comparisons)]
390-
const FOOTPRINT: u64 = [
391-
(0u64 + <bool as ::ink_storage::traits::SpreadLayout>::FOOTPRINT),
392-
0u64,
393-
][((0u64 + <bool as ::ink_storage::traits::SpreadLayout>::FOOTPRINT) < 0u64) as usize];
394-
const REQUIRES_DEEP_CLEAN_UP: bool = (false
395-
|| (false
396-
|| <bool as ::ink_storage::traits::SpreadLayout>::REQUIRES_DEEP_CLEAN_UP));
397-
fn pull_spread(__key_ptr: &mut ::ink_storage::traits::KeyPtr) -> Self {
398-
Flipper {
399-
value: <bool as ::ink_storage::traits::SpreadLayout>::pull_spread(__key_ptr),
400-
}
401-
}
402-
fn push_spread(&self, __key_ptr: &mut ::ink_storage::traits::KeyPtr) {
403-
match self {
404-
Flipper { value: __binding_0 } => {
405-
::ink_storage::traits::SpreadLayout::push_spread(__binding_0, __key_ptr);
406-
}
407-
}
408-
}
409-
fn clear_spread(&self, __key_ptr: &mut ::ink_storage::traits::KeyPtr) {
410-
match self {
411-
Flipper { value: __binding_0 } => {
412-
::ink_storage::traits::SpreadLayout::clear_spread(__binding_0, __key_ptr);
413-
}
414-
}
415-
}
416-
}
388+
impl ::ink_storage::traits::SpreadLayout for Flipper {
389+
#[allow(unused_comparisons)]
390+
const FOOTPRINT: u64 = [
391+
(0u64 + <bool as ::ink_storage::traits::SpreadLayout>::FOOTPRINT),
392+
0u64,
393+
][((0u64 + <bool as ::ink_storage::traits::SpreadLayout>::FOOTPRINT) < 0u64) as usize];
394+
const REQUIRES_DEEP_CLEAN_UP: bool = (false
395+
|| (false
396+
|| <bool as ::ink_storage::traits::SpreadLayout>::REQUIRES_DEEP_CLEAN_UP));
397+
fn pull_spread(__key_ptr: &mut ::ink_storage::traits::KeyPtr) -> Self {
398+
Flipper {
399+
value: <bool as ::ink_storage::traits::SpreadLayout>::pull_spread(__key_ptr),
400+
}
401+
}
402+
fn push_spread(&self, __key_ptr: &mut ::ink_storage::traits::KeyPtr) {
403+
match self {
404+
Flipper { value: __binding_0 } => {
405+
::ink_storage::traits::SpreadLayout::push_spread(__binding_0, __key_ptr);
406+
}
407+
}
408+
}
409+
fn clear_spread(&self, __key_ptr: &mut ::ink_storage::traits::KeyPtr) {
410+
match self {
411+
Flipper { value: __binding_0 } => {
412+
::ink_storage::traits::SpreadLayout::clear_spread(__binding_0, __key_ptr);
413+
}
414+
}
415+
}
416+
}
417417
};
418418
#[cfg(not(feature = "ink-as-dependency"))]
419419
const _: () = {
420-
#[allow(unused_imports)]
421-
use ::ink_lang::{Env as _, StaticEnv as _};
420+
#[allow(unused_imports)]
421+
use ::ink_lang::{Env as _, StaticEnv as _};
422422
};
423423
#[cfg(not(test))]
424424
#[cfg(not(feature = "ink-as-dependency"))]

0 commit comments

Comments
 (0)