branchproof 0.6.0 → 0.7.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (31) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +10 -0
  3. data/README.md +74 -23
  4. data/doc/Branchproof/CoverageIndex.md +3 -0
  5. data/doc/Branchproof/DecisionSyntax.md +20 -0
  6. data/doc/Branchproof/FlowInstrumentation.md +7 -0
  7. data/doc/Branchproof/Instrumenter.md +1 -0
  8. data/doc/Branchproof/Runtime.md +19 -0
  9. data/doc/Branchproof/RuntimeFlow.md +27 -0
  10. data/doc/Branchproof/SavedReport.md +6 -0
  11. data/doc/Branchproof/Source.md +1 -0
  12. data/doc/Branchproof.md +6 -2
  13. data/doc/CHANGELOG.md +10 -0
  14. data/doc/README.md +74 -23
  15. data/lib/branchproof/analyzer.rb +153 -21
  16. data/lib/branchproof/comparison.rb +1 -1
  17. data/lib/branchproof/coverage_index.rb +90 -2
  18. data/lib/branchproof/decision_syntax.rb +294 -0
  19. data/lib/branchproof/evidence.rb +54 -9
  20. data/lib/branchproof/flow_instrumentation.rb +107 -0
  21. data/lib/branchproof/focused_report.rb +85 -18
  22. data/lib/branchproof/instrumenter.rb +28 -13
  23. data/lib/branchproof/report.rb +195 -24
  24. data/lib/branchproof/runtime.rb +3 -0
  25. data/lib/branchproof/runtime_flow.rb +58 -0
  26. data/lib/branchproof/saved_report.rb +245 -6
  27. data/lib/branchproof/source.rb +191 -35
  28. data/lib/branchproof/version.rb +1 -1
  29. data/llms.txt +6 -2
  30. data/sig/branchproof.rbs +7 -0
  31. metadata +7 -1
data/llms.txt CHANGED
@@ -2,9 +2,10 @@
2
2
 
3
3
  | | |
4
4
  | --- | --- |
5
- | **Defined in** | lib/branchproof.rb, lib/branchproof/cli.rb, lib/branchproof/limits.rb, lib/branchproof/loader.rb, lib/branchproof/report.rb, lib/branchproof/source.rb, lib/branchproof/worker.rb, lib/branchproof/project.rb, lib/branchproof/records.rb, lib/branchproof/runtime.rb, lib/branchproof/version.rb, lib/branchproof/analyzer.rb, lib/branchproof/evidence.rb, lib/branchproof/minimizer.rb, lib/branchproof/comparison.rb, lib/branchproof/instrumenter.rb, lib/branchproof/saved_report.rb, lib/branchproof/rails_support.rb, lib/branchproof/coverage_index.rb, lib/branchproof/focused_report.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/comparison_report.rb |
5
+ | **Defined in** | lib/branchproof.rb, lib/branchproof/cli.rb, lib/branchproof/limits.rb, lib/branchproof/loader.rb, lib/branchproof/report.rb, lib/branchproof/source.rb, lib/branchproof/worker.rb, lib/branchproof/project.rb, lib/branchproof/records.rb, lib/branchproof/runtime.rb, lib/branchproof/version.rb, lib/branchproof/analyzer.rb, lib/branchproof/evidence.rb, lib/branchproof/minimizer.rb, lib/branchproof/comparison.rb, lib/branchproof/instrumenter.rb, lib/branchproof/runtime_flow.rb, lib/branchproof/saved_report.rb, lib/branchproof/rails_support.rb, lib/branchproof/coverage_index.rb, lib/branchproof/focused_report.rb, lib/branchproof/decision_syntax.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/comparison_report.rb, lib/branchproof/flow_instrumentation.rb |
6
6
 
7
- Public namespace for source inventory and one-run MC/DC reporting.
7
+ Keep each bounded source rewrite together so its evaluation order can be
8
+ audited. rubocop:disable Metrics/AbcSize, Metrics/MethodLength
8
9
 
9
10
  ## Constants
10
11
  ### `VERSION` <a id="constant-VERSION"></a> <a id="VERSION-constant"></a>
@@ -17,8 +18,10 @@ Not documented.
17
18
  - [Branchproof/Comparison.md](doc/Branchproof/Comparison.md)
18
19
  - [Branchproof/ComparisonReport.md](doc/Branchproof/ComparisonReport.md)
19
20
  - [Branchproof/CoverageIndex.md](doc/Branchproof/CoverageIndex.md)
21
+ - [Branchproof/DecisionSyntax.md](doc/Branchproof/DecisionSyntax.md)
20
22
  - [Branchproof/Error.md](doc/Branchproof/Error.md)
21
23
  - [Branchproof/Evidence.md](doc/Branchproof/Evidence.md)
24
+ - [Branchproof/FlowInstrumentation.md](doc/Branchproof/FlowInstrumentation.md)
22
25
  - [Branchproof/FocusedReport.md](doc/Branchproof/FocusedReport.md)
23
26
  - [Branchproof/Instrumenter.md](doc/Branchproof/Instrumenter.md)
24
27
  - [Branchproof/Limits.md](doc/Branchproof/Limits.md)
@@ -31,6 +34,7 @@ Not documented.
31
34
  - [Branchproof/Records.md](doc/Branchproof/Records.md)
32
35
  - [Branchproof/Report.md](doc/Branchproof/Report.md)
33
36
  - [Branchproof/Runtime.md](doc/Branchproof/Runtime.md)
37
+ - [Branchproof/RuntimeFlow.md](doc/Branchproof/RuntimeFlow.md)
34
38
  - [Branchproof/SavedReport.md](doc/Branchproof/SavedReport.md)
35
39
  - [Branchproof/Source.md](doc/Branchproof/Source.md)
36
40
  - [Branchproof/Worker.md](doc/Branchproof/Worker.md)
data/sig/branchproof.rbs CHANGED
@@ -62,6 +62,12 @@ module Branchproof
62
62
  def self.condition: (String decision_id, Integer index, untyped value) -> untyped
63
63
  def self.finish: (String decision_id, untyped value) -> untyped
64
64
  def self.leave: (String decision_id) -> nil
65
+ def self.flow_candidate: (String decision_id, Integer index) -> nil
66
+ def self.flow_selected: (String decision_id) -> nil
67
+ def self.flow_select: (String decision_id, Integer index) -> nil
68
+ def self.flow_path: (String decision_id, Integer index) -> nil
69
+ def self.flow_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
70
+ def self.flow_receiver: (String decision_id, untyped receiver) -> untyped
65
71
  def self.context: (?test_id: String?, ?phase: String?) -> nil
66
72
  def self.snapshot: () -> record
67
73
  def self.diagnostics: () -> Array[record]
@@ -114,6 +120,7 @@ module Branchproof
114
120
  class CoverageIndex
115
121
  def initialize: (document: document) -> void
116
122
  attr_reader conditions: Array[record]
123
+ attr_reader alternatives: Array[record]
117
124
  attr_reader tests: Array[record]
118
125
  end
119
126
 
metadata CHANGED
@@ -1,7 +1,7 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: branchproof
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.6.0
4
+ version: 0.7.0
5
5
  platform: ruby
6
6
  authors:
7
7
  - Lucian Ghinda
@@ -71,8 +71,10 @@ files:
71
71
  - doc/Branchproof/Comparison.md
72
72
  - doc/Branchproof/ComparisonReport.md
73
73
  - doc/Branchproof/CoverageIndex.md
74
+ - doc/Branchproof/DecisionSyntax.md
74
75
  - doc/Branchproof/Error.md
75
76
  - doc/Branchproof/Evidence.md
77
+ - doc/Branchproof/FlowInstrumentation.md
76
78
  - doc/Branchproof/FocusedReport.md
77
79
  - doc/Branchproof/Instrumenter.md
78
80
  - doc/Branchproof/Limits.md
@@ -85,6 +87,7 @@ files:
85
87
  - doc/Branchproof/Records.md
86
88
  - doc/Branchproof/Report.md
87
89
  - doc/Branchproof/Runtime.md
90
+ - doc/Branchproof/RuntimeFlow.md
88
91
  - doc/Branchproof/SavedReport.md
89
92
  - doc/Branchproof/Source.md
90
93
  - doc/Branchproof/Worker.md
@@ -98,7 +101,9 @@ files:
98
101
  - lib/branchproof/comparison.rb
99
102
  - lib/branchproof/comparison_report.rb
100
103
  - lib/branchproof/coverage_index.rb
104
+ - lib/branchproof/decision_syntax.rb
101
105
  - lib/branchproof/evidence.rb
106
+ - lib/branchproof/flow_instrumentation.rb
102
107
  - lib/branchproof/focused_report.rb
103
108
  - lib/branchproof/instrumenter.rb
104
109
  - lib/branchproof/limits.rb
@@ -110,6 +115,7 @@ files:
110
115
  - lib/branchproof/records.rb
111
116
  - lib/branchproof/report.rb
112
117
  - lib/branchproof/runtime.rb
118
+ - lib/branchproof/runtime_flow.rb
113
119
  - lib/branchproof/saved_report.rb
114
120
  - lib/branchproof/source.rb
115
121
  - lib/branchproof/version.rb