LedgerGuard/Clarinet.toml at main · GardaChain/LedgerGuard · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
[project]
name = "LedgerGuard"
description = "Quest Tavern - Decentralized Smart Contract Audit Platform on Stacks"
authors = []
telemetry = false
cache_dir = "./.cache"

[contracts.quest-trait]
path = "contracts/traits/quest-trait.clar"
epoch = "latest"

[contracts.test-token]
path = "contracts/test-token.clar"
epoch = "latest"

[contracts.token-whitelist]
path = "contracts/token-whitelist.clar"
epoch = "latest"

[contracts.escrow]
path = "contracts/escrow.clar"
epoch = "latest"
depends_on = ["test-token"]

[contracts.quest-manager]
path = "contracts/quest-manager.clar"
epoch = "latest"
depends_on = ["test-token"]

[repl.analysis]
passes = ["check_checker"]
check_checker = { trusted_sender = false, trusted_caller = false, callee_filter = false }

# Check-checker settings:
# trusted_sender: if true, inputs are trusted after tx_sender has been checked.
# trusted_caller: if true, inputs are trusted after contract-caller has been checked.
# callee_filter: if true, untrusted data may be passed into a private function without a
# warning, if it gets checked inside. This check will also propagate up to the
# caller.
# More informations: https://www.hiro.so/blog/new-safety-checks-in-clarinet