diff options
Diffstat (limited to 'tools/mpcheck/README')
-rw-r--r-- | tools/mpcheck/README | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/mpcheck/README b/tools/mpcheck/README new file mode 100644 index 0000000..f35ff80 --- /dev/null +++ b/tools/mpcheck/README @@ -0,0 +1,3 @@ +The mpcheck tool provides tests to check the MPC library against the +C library. It is meant as a tool for developers. + |