From 5c1bad51034d0d8e3fd3af56a12ae9592a1f0249 Mon Sep 17 00:00:00 2001 From: Nikolai Vazquez Date: Wed, 16 Aug 2017 03:51:44 -0400 Subject: [PATCH] Add static_assertions crate (#324) * Add 'static_assertions' crate in new category Added a category for static analysis tools, which includes the static_assertions crate. * Fix static_assertions Travis badge URL --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/README.md b/README.md index ad7e4e7..1093694 100644 --- a/README.md +++ b/README.md @@ -15,6 +15,7 @@ If you want to contribute, please read [this](CONTRIBUTING.md). - [FFI](#ffi) - [IDEs](#ides) - [Profiling](#profiling) + - [Static Analysis](#static-analysis) - [Testing](#testing) - [Libraries](#libraries) - [Astronomy](#astronomy) @@ -310,6 +311,12 @@ See also [Are we (I)DE yet?](https://areweideyet.com/) and [Rust and IDEs](https * [mrhooray/torch](https://github.com/mrhooray/torch) — generates FlameGraphs based on DWARF Debug Info * [TyOverby/flame](https://github.com/TyOverby/flame) — [](https://travis-ci.org/TyOverby/flame) +### Static Analysis + +[[assert](https://crates.io/keywords/assert), [static](https://crates.io/keywords/static)] + +* [nvzqz/static-assertions-rs](https://github.com/nvzqz/static-assertions-rs/) [[static_assertions](https://crates.io/crates/static_assertions)] Compile-time assertions to ensure that invariants are met [![Build Status](https://api.travis-ci.org/nvzqz/static-assertions-rs.svg?branch=master)](https://travis-ci.org/nvzqz/static-assertions-rs/) + ### Testing [[testing](https://crates.io/keywords/testing)]