Skip to content

Commit 01dd28c

Browse files
author
diffblue QA
committed
Fixed typo in unit test section
In subsection "Unit tests", link was correct, but CODING_STANDARD.md was written in Compiling.md.
1 parent 4ff15dd commit 01dd28c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/architectural/compilation-and-development.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -151,7 +151,7 @@ the end of the run to see how many tests passed, how many failed which were
151151
expected to and how many tests failed which were not expected to.
152152

153153
For more information on the structure of `unit/` and how to tag tests, see
154-
[the section on unit tests in `Compiling.md` in the root of the CBMC
154+
[the section on unit tests in `CODING_STANDARD.md` in the root of the CBMC
155155
repository](https://github.com/diffblue/cbmc/blob/develop/CODING_STANDARD.md#unit-tests)
156156

157157

0 commit comments

Comments
 (0)