Skip to content

Commit 6e00073

Browse files
ArzteLicenser
authored andcommitted
Remove line about being tested with Miri
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.
1 parent 7db17c4 commit 6e00073

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

README.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,6 @@ There are a few reasons for this:
6565
don't panic or crash the parser (they might and often error so - they are not valid JSON!)
6666
* Destructive Property based testing - make sure that no illegal byte sequences crash the parser in any way
6767
* Fuzzing - fuzz based on upstream & jsonorg simd pass/fail cases
68-
* Miri testing for UB
6968

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

0 commit comments

Comments
 (0)