Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Wertebereich von check-property #107

Open
chessgarf opened this issue Apr 11, 2024 · 0 comments
Open

Wertebereich von check-property #107

chessgarf opened this issue Apr 11, 2024 · 0 comments

Comments

@chessgarf
Copy link

Die eingebaute Funktion check-property scheint, jedenfalls bei den Standard-Zahlsignaturen, in einem überraschend engen Wertebereich zu arbeiten. Bei mir prüft sie beispielsweise ausschließlich Werte zwischen -115 und +106. Den beispielhaften Fehler in heat->temperature auf S. 395 findet sie bei mir daher nicht. Ich möchte anregen, den Satz
Wichtig: Wenn Du das bei Dir ausprobierst, kann die konkrete Zahl eine andere sein.
etwas umzuformulieren und ggfs. auch den nachfolgenden Abschnitt 13.2 zu erweitern. Ich jedenfalls bin beim Lesen nicht davon ausgegangen, dass 100 "zufällige" Zahlen dermaßen eng beieinander liegen werden.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant