Did I find the right examples for you? yes no      Crawl my project      Python Jobs

All Samples(4)  |  Call(3)  |  Derive(0)  |  Import(1)

src/j/e/jeeves-HEAD/test/gallery/auction/testAuction.py   jeeves(Download)
import macropy.activate
import JeevesLib
from smt.Z3 import *
import unittest
from Auction import AuctionContext, Bid, User
  def setUp(self):
    JeevesLib.init()
    self.aliceUser = User(0)
    self.bobUser = User(1)
    self.claireUser = User(2)