projects / IRC.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
print out a warning msg when we have a nondeterministic inlining.
[IRC.git] / Robust / src / Tests / output / StringTest.output.goal
1 hello world
2 1
3 6
4 lo world
5 lo 
6 normal: Danger iN cAVErn_coVE
7 upper:  DANGER IN CAVERN_COVE
8 lower:  danger in cavern_cove
Irvine Research Compiler