panicking: improve hint for Miri's RUST_BACKTRACE behavior · patricklam/verify-rust-std@a6ea125 (original) (raw)

Skip to content

Appearance settings

- AI CODE CREATION
  * GitHub CopilotWrite better code with AI
  * GitHub SparkBuild and deploy intelligent apps
  * GitHub ModelsManage and compare prompts
  * MCP RegistryNewIntegrate external tools
- DEVELOPER WORKFLOWS
  * ActionsAutomate any workflow
  * CodespacesInstant dev environments
  * IssuesPlan and track work
  * Code ReviewManage code changes
- APPLICATION SECURITY
  * GitHub Advanced SecurityFind and fix vulnerabilities
  * Code securitySecure your code as you build
  * Secret protectionStop leaks before they start
- EXPLORE
  * Why GitHub
  * Documentation
  * Blog
  * Changelog
  * Marketplace

View all features

- BY COMPANY SIZE
  * Enterprises
  * Small and medium teams
  * Startups
  * Nonprofits
- BY USE CASE
  * App Modernization
  * DevSecOps
  * DevOps
  * CI/CD
  * View all use cases
- BY INDUSTRY
  * Healthcare
  * Financial services
  * Manufacturing
  * Government
  * View all industries

View all solutions

- EXPLORE BY TOPIC
  * AI
  * Software Development
  * DevOps
  * Security
  * View all topics
- EXPLORE BY TYPE
  * Customer stories
  * Events & webinars
  * Ebooks & reports
  * Business insights
  * GitHub Skills
- SUPPORT & SERVICES
  * Documentation
  * Customer support
  * Community forum
  * Trust center
  * Partners
- COMMUNITY
  * GitHub SponsorsFund open source developers
- PROGRAMS
  * Security Lab
  * Maintainer Community
  * Accelerator
  * Archive Program
- REPOSITORIES
  * Topics
  * Trending
  * Collections
- ENTERPRISE SOLUTIONS
  * Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  * GitHub Advanced SecurityEnterprise-grade security features
  * Copilot for BusinessEnterprise-grade AI features
  * Premium SupportEnterprise-grade 24/7 support
Pricing

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

patricklam / verify-rust-std Public

forked from model-checking/verify-rust-std

Notifications You must be signed in to change notification settings
Fork0
Star 0
Code
Pull requests 1
Actions
Projects
Security
Insights

Additional navigation options

Commit a6ea125

committed

panicking: improve hint for Miri's RUST_BACKTRACE behavior

1 parent 2168ce3 commit a6ea125

File tree

1 file changed

1

-

1

lines changed

std/src
- panicking.rs

1 file changed

1

-

1

lines changed

‎std/src/panicking.rs‎

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
@@ -275,7 +275,7 @@ fn default_hook(info: &PanicHookInfo<'_>) {
275	275	if cfg!(miri) {
276	276	let _ = writeln!(
277	277	err,
278		-"note: in Miri, you may have to set `-Zmiri-env-forward=RUST_BACKTRACE` \
	278	+"note: in Miri, you may have to set `MIRIFLAGS=-Zmiri-env-forward=RUST_BACKTRACE` \
279	279	for the environment variable to have an effect"
280	280	);
281	281	}

0 commit comments

Comments

(0)