def display_cex(msg, ag): if diagnose.get(): import tk_ui as ui iu.set_parameters({'mode': 'induction'}) ui.ui_main_loop(ag) exit(1) raise iu.IvyError(None, msg)
def display_cex(msg,ag): print msg if diagnose.get(): ui.ui_main_loop(ag) exit(1)
def main(): import signal signal.signal(signal.SIGINT, signal.SIG_DFL) with ivy_module.Module(): ui_main_loop(ivy_init())
def main(): with ivy_module.Module(): ui_main_loop(ivy_init())
def display_cex(msg, ag): if diagnose.get(): ui.ui_main_loop(ag) exit(1) raise iu.IvyError(None, msg)
files = [(fn,open_read(fn)) for fn in sys.argv[1:]] if files[0][0].endswith('.a2g'): fn,f = files.pop(0) ag = pickle.load(f) im.module = ag.domain il.sig = ag.domain.sig f.close() else: ag = None if files: fn,f = files.pop(0) if not fn.endswith('.ivy') and not fn.endswith('.dfy'): usage() source_file(fn,f) if ag: ag.update_module() else: ag = ivy_new() return ag if __name__ == "__main__": with ivy_module.Module(): ui_main_loop(ivy_init())
def display_cex(msg, ag): print msg if diagnose.get(): ui.ui_main_loop(ag) exit(1)
def display_cex(msg,ag): if diagnose.get(): ui.ui_main_loop(ag) exit(1) raise iu.IvyError(None,msg)