tree 0945abeeec9257c50c051a1981d8c3b51f0a4ada
parent 800f9bbfc580d76a0ce9a3fd55bd9242aec3e98c
author Marc Kupietz <kupietz@ids-mannheim.de> 1765806189 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1765806189 +0100

Run cmc and tt with just one thread

Change-Id: I133d7609bd2a34a8c66df01c32bc1e3d1f7b1052