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()
