From 5f39ef57d6ecc19e29f37233a837e20dfda7d618 Mon Sep 17 00:00:00 2001 From: kvalerio <24193167+kevin-valerio@users.noreply.github.com> Date: Tue, 1 Oct 2024 11:13:24 +0200 Subject: [PATCH] Instructions for Cargo.toml --- README.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d071be4..b8dd852 100644 --- a/README.md +++ b/README.md @@ -75,12 +75,20 @@ phink fuzz /tmp/ink_fuzzed_Bb9Zp # you can get this path by reading the output o ## Example -#### Creating an invariant +#### Adding some invariants Below are some invariants created for the [dns](https://github.com/kevin-valerio/phink/blob/main/sample/dns/lib.rs) contract. - ```rust +1. Add the `phink` feature to your `Cargo.toml` +```toml +[features] +... +phink = [] +``` + +2. Create your invariants as below: +```rust #[cfg(feature = "phink")] #[ink(impl)] impl DomainNameService {