wrench::RandomServerlessScheduler

class RandomServerlessScheduler : public wrench::ServerlessScheduler

A class that implements a random scheduler to use in a serverless compute service. Likely (hopefully?) not representative of any real-world serverless deployment.