-- SPDX-License-Identifier: Apache-2.0
-- SPDX-License-Identifier: Unlicense

if (select balance from account:operator1)[0].balance != 15_000_000_000 {
    throw("Operator 1 did't get paid for serving a VM.")
};
if (select balance from account:user2)[0].balance != 10013400000 {
    throw("User 2 did't get compensated for his VM going down.")
};

if (select escrow from account:operator2)[0].escrow != 4999986600000 {
    throw("Operator 2 didn't get punished for not serving a VM.")
};
if (select id from deleted_vm:vm1).len() == 0 {
    throw("VM1 didn't get deleted.")
};
if (select id from active_vm:vm3).len() =! 1 {
    throw("A mini VM costs more than 25LP per month.")
};
if (select balance from account:operator3)[0].balance != 23328000000 {
    throw("Operators without escrow still get a bonus.")
};