Tutorial updates

[ivan-gavran]

• included simulation in the tutorial
• used a more meaningful predicate to illustrate sampling

Merge together with: Modelator#280

Remaining issues:

• Make sure that there are no fees in the execution (since fees are not modelled) : Issue No fees by default #148

Blocking:

• Next release of modelator
• Bump modelator version

[rnbguy]

• broadcast method already takes zero fees by default.
  

  atomkraft/atomkraft/chain/testnet.py

  Line 345 in 17e859a

  fee_amount: int = 0,

• we just need to change the default chain config to zero.
  

  atomkraft/template/chain.toml

  Line 10 in 17e859a

  minimum-gas-prices = "0.000001stake"

but wait till we discuss about this.

[ivan-gavran]

• we just need to change the default chain config to zero.
  

  atomkraft/template/chain.toml

  Line 10 in 17e859a

  minimum-gas-prices = "0.000001stake"

I tried this out, but the same problem persists:

root:reactor.py:22 Step: Transfer
INFO     root:reactor.py:36 	Sender:    Alice (cosmos1skjykwsfedmr9x4e3m87qcmlqm93tuypxhudwu)
INFO     root:reactor.py:37 	Receiver:  Bob (cosmos1jsfzp2rre5lug0q76k7raryvc85nfql6pcua5e)
INFO     root:reactor.py:38 	Amount:    100stake
INFO     root:reactor.py:43 Status: Error
INFO     root:reactor.py:44 	code: 5
INFO     root:reactor.py:45 	log:  failed to execute message; message index: 0: 80stake is smaller than 100stake: insufficient funds

I am curious about why it mentions 80stake: this does not seem to any constants that we've seen in config files.

[ivan-gavran]

I am curious about why it mentions 80stake: this does not seem to any constants that we've seen in config files.

The 80stake comes from the fact that in the reactor we are sending 20stake for gas.
However, if I try to remove it, I get

out of gas in location: ReadFlat; gasWanted: 0, gasUsed: 1000: out of gas

Thus, the question is: is there a way to remove any fees (including fees for gas). Or, if it does not make sense, then should we always include gas cost into our models?

[rnbguy]

From my previous reply 🙂

• we just need to change the default chain config to zero.
  

  atomkraft/template/chain.toml

  Line 10 in 17e859a

  minimum-gas-prices = "0.000001stake"

But the question remains if we want to model gas fees in our specs.

[ivan-gavran]

From my previous reply 🙂

• we just need to change the default chain config to zero.
  

  atomkraft/template/chain.toml

  Line 10 in 17e859a

  minimum-gas-prices = "0.000001stake"

But the question remains if we want to model gas fees in our specs.

No, I tried that (in my previous reply :) ) and the same problem persists (so, there must be something else)

[rnbguy]

Thanks for the PR. Great that you removed the mdx blocks from tutorials.

I added a commit to test out modelator changes in CI. Should be updated with new modelator release before merge.

[rnbguy]

@ivan-gavran, the MDX tests are failing. Can you please look into it?