Sample Code for LITTLE
Here you can find sample code snippets for the LITTLE language.
Simple Stuff
A Bit More Complex
-
The Sieve Of Erastothenes:
Sieve.ltl
-
A Garbage Collection Exerciser: fill, reverse, print and
throw away lists, with assertion checking for multiple release
of the same object
List.ltl