ouroboros-consensus/asserts.cabal at ff3072d4cd6a7aaa0ef974e2761fa7b9c9401152 · IntersectMBO/ouroboros-consensus · 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
--
-- Enable assertions
--
-- These are in a separate file in order to make it easy to disable all
-- assertion flags again.
--

package cardano-ledger-core
  flags: +asserts

package cardano-ledger-mary
  flags: +asserts

package cardano-ledger-shelley
  flags: +asserts

package io-classes
  flags: +asserts

-- https://github.com/input-output-hk/io-sim/issues/94
-- package io-sim
--   flags: +asserts

package network-mux
  flags: +asserts

package ouroboros-consensus
  flags: +asserts

package ouroboros-consensus-protocols
  flags: +asserts

package ouroboros-consensus-cardano
  flags: +asserts

package ouroboros-consensus-diffusion
  flags: +asserts

package cardano-diffusion
  flags: +asserts

package ouroboros-network
  flags: +asserts

package si-timers
  flags: +asserts

package strict-stm
  flags: +asserts

package text-short
  flags: +asserts

package strict-checked-vars
  flags: +checktvarinvariants +checkmvarinvariants