slither/tests/check-kspec/safeAdd/spec.md

# spec

```act
behaviour add of SafeAdd
interface add(uint256 X, uint256 Y)

iff in range uint256

    X + Y

iff

    VCallValue == 0

returns X + Y
```
```act
behaviour addv2 of SafeAdd
interface addv2(uint256 X, uint256 Y)

iff in range uint256

    X + Y

iff

    VCallValue == 0

returns X + Y
```
linting: Solve Markdown linting errors 4 years ago			`# spec`
Create slither-check-kspec tool 5 years ago
			```act
			`behaviour add of SafeAdd`
			`interface add(uint256 X, uint256 Y)`

			`iff in range uint256`

			`X + Y`

			`iff`

			`VCallValue == 0`

			`returns X + Y`
			```
			```act
			`behaviour addv2 of SafeAdd`
			`interface addv2(uint256 X, uint256 Y)`

			`iff in range uint256`

			`X + Y`

			`iff`

			`VCallValue == 0`

			`returns X + Y`
			```