Skip to content

Commit

Permalink
fix evaluator title in kotlin snippet
Browse files Browse the repository at this point in the history
  • Loading branch information
CodingDepot committed Jun 12, 2024
1 parent 04f3151 commit cd296e3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/Coko/rules.md
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ It takes three arguments:
The evaluator will then try to check whether the argument of the target `Op` was always produced by a call to the origin `Op`.
If this is not the case or the Evaluator lacks information to clearly determine the origin of the argument, it will generate a finding.

```kotlin title="Rule example using argumentOf"
```kotlin title="Rule example using argumentOrigin"
@Rule
fun `only call Foo::critical with argument produced by Bar::strong`(foo: Foo, bar: Bar) =
argumentOrigin(Foo::critical, 0, Bar::strong)
Expand Down

0 comments on commit cd296e3

Please sign in to comment.