testcase ./lus2lic.tests/non-reg.exp completed in 137 seconds
testcase ./lus2lic.tests/progression.exp completed in 0 seconds