22 lines
		
	
	
		
			774 B
		
	
	
	
		
			SQL
		
	
	
	
	
	
			
		
		
	
	
			22 lines
		
	
	
		
			774 B
		
	
	
	
		
			SQL
		
	
	
	
	
	
| -- SPDX-License-Identifier: Apache-2.0
 | |
| 
 | |
| 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.")
 | |
| };
 |