+ WVFRSH(frsh_contract_negotiate(&contract, &vres[0]));
+ get_min_max_budget(1, &min, &max);
+ WVPASS(min == 50 && max == 50);
+
+ WVFRSH(frsh_contract_negotiate(&contract, &vres[1]));
+ get_min_max_budget(2, &min, &max);
+ WVPASS(min == 20 && max == 50);
+
+ WVFRSH(frsh_contract_negotiate(&contract, &vres[2]));
+ get_min_max_budget(3, &min, &max);
+ WVPASS(min == 20 && max == 50);
+
+ WVFRSH(frsh_contract_negotiate(&contract, &vres[3]));
+ get_min_max_budget(4, &min, &max);
+ WVPASS(min == 20 && max == 20);
+