Comments (3)
Running miri reports the following:
MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri nextest run --test-threads 20
--- STDERR: decancer tests::isolating_run_sequences ---
error: Undefined Behavior: using uninitialized data, but this operation requires initialized memory
--> src/tests.rs:233:14
|
233 | range: MaybeUninit::uninit().assume_init(),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ using uninitialized data, but this operation requires initialized memory
|
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
= note: BACKTRACE on thread `tests::isolatin`:
= note: inside `tests::isolating_run_sequences` at src/tests.rs:233:14: 233:49
from decancer.
Hai! Thank you so much for this. ❤️
from decancer.
Fixed in 967467c!
from decancer.
Related Issues (13)
- Python bindings? HOT 2
- The character "Æ" (U+00C6) appears to cause cure to panic. HOT 2
- Add safety comments for unsafe portions of code. HOT 4
- Implement unicode bidi support HOT 1
- feature request: equal/startsWith/endsWith HOT 3
- Remove usage of `unsafe` completely HOT 9
- `decancer` automatically lowercases all characters HOT 23
- Support for Arabic HOT 5
- [JAVA] java.lang.ExceptionInInitializerError when running JUnit tests using new CureString("string") HOT 7
- [java] Migrate from Jitpack HOT 6
- Wrong type definition ? HOT 6
- `cure` hangs when fed specific character HOT 7
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from decancer.