tlaplus/tlaplus

Make TLC's missing config file error message clearer and more concise

Geschlossen

#1.234 geöffnet am 22.08.2025

Auf GitHub ansehenContributor Guide
 (3 Kommentare) (1 Reaktion) (0 zugewiesene Personen)Java (179 Forks)batch import
Toolsenhancementgood first issuehelp wanted

Repository-Metriken

Stars
 (2.153 Sterne)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

When TLC is run without a configuration file, it prints the following error:

Error: TLC threw an unexpected exception.
This was probably caused by an error in the spec or model.
See the User Output or TLC Console for clues to what happened.
The exception was a tlc2.tool.ConfigFileException
: TLC encountered the following error when trying to read the configuration file DieHard.cfg:
File not found.

This message is overly verbose and misleading:

  • It suggests there was an "unexpected exception," when in fact the issue is simply that the config file is missing.
  • The text implies a problem with the spec or model, which isn’t accurate in this case.

Contributor Guide

Research-Richtung
Finden Sie die Fehlermeldungszeichenfolge im TLC Code und ändern Sie sie, um sie präziser und genauer zu machen.
Tech Stack
java
Domain
tooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
1
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Unter 1 Stunde
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Keine
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
85