Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Support for large numbers in TLC

See original GitHub issue

When trying to evaluate the following minimized code snippet with TLC

-------- MODULE foo --------
EXTENDS TLC
ASSUME PrintT(9999999999)
============================

I get the following error message:

Error: TLC can't handle a number this big.
9999999999

Since large numbers are unavoidable in my setting, I’d like to ask if there is a workaround for this? Thank you in advance!

Issue Analytics

State:
Created 3 years ago
Comments:6 (3 by maintainers)

Top GitHub Comments

1reaction

lemmycommented, Sep 21, 2020

This is definitely not a five-minute fix and has the potential of breaking TLC in subtle ways.

0reactions

anton-trunovcommented, Sep 21, 2020

Sure, I will. Although, so far we have tried to avoid Java overrides to be able to also use Apalache.

Top Results From Across the Web

Thin Layer Chromatography - Chemistry LibreTexts

Thin layer chromatography (TLC) is a chromatographic technique used to separate the components of a mixture using a thin stationary phase ...

Thin Layer Chromatography (TLC)

TLC is a simple, quick, and inexpensive procedure that gives the chemist a quick answer as to how many components are in a...

CHEM 344 Thin Layer Chromatography

Thin layer chromatography (TLC) is a useful technique for the separation and identification of compounds in mixtures. TLC is used routinely to follow...

TLC

Either choose a different eluent (solvent) or adjust the solvent ratio by increasing the percentage of the nonpolar solvent relative to the polar...

TLC Tips and Tricks - EMD Millipore

A common pre-conditioning method is to place the TLC plate in a development chamber containing highly saturated salt solution with a large amount...