aderyn/bacon.toml at dev · programskillforverification/aderyn · 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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
# Bacon configuration for Aderyn development
# https://dystroy.org/bacon/
#
# Complete help on configuration: https://dystroy.org/bacon/config/
# Default config: https://github.com/Canop/bacon/blob/main/defaults/default-bacon.toml
#
# Install: cargo install bacon
# Run: bacon (at project root)
#
# Keyboard shortcuts:
#   t         Run tests
#   r         Generate report for contract-playground
#   a         Generate all reports in parallel
#   Alt-b     Bless the PR (run all CI checks)
#   c         Run clippy
#   f         Check formatting
#   d         Open docs

default_job = "clippy-display-warnings"
env.CARGO_TERM_COLOR = "always"

# Background jobs

# Lints

[jobs.clippy-display-warnings]
command = ["cargo", "clippy"]
need_stdout = false

[jobs.fmt-display-warnings]
command = ["cargo", "fmt", "--all", "--check"]
need_stdout = false

# Test

[job.test]
command = ["cargo", "test"]
need_stdout = false

# ===

# Non background jobs / ACTIONS

# Run aderyn on all integration tests
[jobs.generate-all-reports]
command = [
    "cargo", "prep", "--all", "--parallel"
]
need_stdout = true
need_stderr = true
allow_warnings = true
background = false
on_change_strategy = "kill_then_restart"

# Bless PR
[jobs.blesspr]
command = [
    "cargo", "blesspr"
]
need_stdout = true
need_stderr = true
allow_warnings = true
background = false

## Run aderyn on Contract playground

[jobs.contract-playground]
command = [
    "cargo", "prep", "-n", "playground"
    # put launch parameters for your program behind a `--` separator
]
need_stdout = true
need_stderr = true
allow_warnings = true
background = false
on_change_strategy = "kill_then_restart"

## Run Tests and report time

[jobs.test-report-time]
command = ["cargo", "test", "--", "-Zunstable-options", "--report-time"]
need_stdout = true
background = false

[jobs.nextest]
command = [
    "cargo", "nextest", "run",
    "--hide-progress-bar", "--failure-output", "final"
]
need_stdout = true
analyzer = "nextest"
background = false

## Compile Docs and open
[jobs.doc-open]
command = ["cargo", "doc", "--no-deps", "--open"]
need_stdout = false
background = false
on_success = "back" # so that we don't open the browser at each change

[keybindings]
c = "job:clippy-display-warnings"
f = "job:fmt-display-warnings"
r = "job:contract-playground"
alt-t = "job:test-report-time"
t = "job:test"
d = "job:doc-open"
a = "job:generate-all-reports"
alt-b = "job:blesspr"