Skip to content

Commit

Permalink
Remove line about being tested with Miri
Browse files Browse the repository at this point in the history
Miri has been disabled since August 2023, with no obvious movement to re-enable testing. Removing it as a tagline feature will help to remove any uncertainty around current tested support with Miri.
  • Loading branch information
Arzte authored and Licenser committed Nov 23, 2024
1 parent 7db17c4 commit 6e00073
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,6 @@ There are a few reasons for this:
don't panic or crash the parser (they might and often error so - they are not valid JSON!)
* Destructive Property based testing - make sure that no illegal byte sequences crash the parser in any way
* Fuzzing - fuzz based on upstream & jsonorg simd pass/fail cases
* Miri testing for UB

This doesn't ensure complete safety nor is at a bulletproof guarantee, but it does go a long way
to assert that the library is of high production quality and fit for purpose for practical industrial applications.
Expand Down

0 comments on commit 6e00073

Please sign in to comment.