prusti-dev/Cargo.toml at master · Pointerbender/prusti-dev · 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
[workspace]
members = [
    "analysis",
    "prusti",
    "prusti-contracts-build",
    "prusti-tests",
    "prusti-common",
    "prusti-utils",
    "prusti-interface",
    "prusti-viper",
    "prusti-server",
    "prusti-launch",
    "prusti-smt-solver",
    "prusti-rustc-interface",
    "smt-log-analyzer",
    "test-crates",
    "viper",
    "viper-sys",
    "vir",
    "vir-gen",
    "jni-gen",
    "jni-gen/systest",
]

[profile.dev]
debug = 1

[profile.test]
debug = 1

[profile.release]
# Enable after fixing https://github.com/viperproject/prusti-dev/issues/383
# lto = true
# codegen-units = 1
# Enable when profiling
# debug = true