summarylogtreecommitdiffstats
path: root/tlc-dist-worker
blob: ed328b08ade64ad5db75107f33807e95a0476ec6 (plain) 
1
2

#!/bin/sh
exec tla-tools tlc2.tool.distributed.TLCWorker "$@"