summarylogtreecommitdiffstats
path: root/tlc-dist-workerfp
blob: 1461db0650b27106beef260a1a3bb2fa1e9e1ce0 (plain) 
1
2

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