def check_properties(): if itp.false_properties(): if diagnose.get(): print "Some properties failed." gui = ui.new_ui() gui.tk.update_idletasks( ) # so that dialog is on top of main window gui.try_property() gui.mainloop() exit(1) raise iu.IvyError(None, "Some properties failed.") im.module.labeled_axioms.extend(im.module.labeled_props)
def check_properties(): if itp.false_properties(): if diagnose.get(): print "Some properties failed." gui = ui.new_ui() gui.tk.update_idletasks() # so that dialog is on top of main window gui.try_property() gui.mainloop() exit(1) raise iu.IvyError(None,"Some properties failed.") im.module.labeled_axioms.extend(im.module.labeled_props) im.module.update_theory()
def check_properties(): if itp.false_properties(): if diagnose.get(): print "Some properties failed." import tk_ui as ui iu.set_parameters({'mode':'induction'}) gui = ui.new_ui() gui.tk.update_idletasks() # so that dialog is on top of main window gui.try_property() gui.mainloop() exit(1) raise iu.IvyError(None,"Some properties failed.") im.module.labeled_axioms.extend(im.module.labeled_props) im.module.update_theory()