Directory listing for speculate-0.4.2 source tarball
speculate-0.4.2/test/model/
- algebraic-graphs-s4.out
- algebraic-graphs-s7.out
- algebraic-graphs.out
- arith-c-s4.out
- arith-c.out
- arith-negate-abs-s4.out
- arith-negate-abs.out
- arith-s4.out
- arith.out
- arithficial-s4.out
- arithficial.out
- binarytree-s4.out
- binarytree.out
- binarytree0-s4.out
- binarytree0.out
- bool-c-s4.out
- bool-c.out
- bool-s4.out
- bool.out
- colour-s4.out
- colour.out
- digraphs-s4.out
- digraphs.out
- fun-s4.out
- fun.out
- insertsort-s4.out
- insertsort.out
- insertsort0-s4.out
- insertsort0.out
- length-s4.out
- length.out
- list-c-s4.out
- list-c.out
- list-s4.out
- list.out
- minus-c-s4.out
- minus-c.out
- minus-s4.out
- minus.out
- monad-s4.out
- monad.out
- nord-s4.out
- nord.out
- oddeven-s4.out
- oddeven.out
- plus-abs-s4.out
- plus-abs.out
- pretty-compact-s4.out
- pretty-compact.out
- pretty-s4.out
- pretty.out
- ratio-s4.out
- ratio.out
- regexes-s4.out
- regexes.out
- sets-s4.out
- sets.out
- speculate-reason-s4.out
- speculate-reason.out
- string-s4.out
- string.out
- tauts-s4.out
- tauts.out
- tuples-s4.out
- tuples.out
- unit-s4.out
- unit.out
- zip-s4.out
- zip.out