Ticket #71 (closed feature: fixed)

Opened 6 years ago

Last modified 5 years ago

Improve debugging by lazily evaluating "pub", "tnt", "sub" and "non_disj"

Reported by: hritcu Owned by: hritcu
Priority: critical Milestone: 0.2.1
Component: zk-typechecker Keywords:
Cc:

Description (last modified by hritcu) (diff)

Currently examples like martin_grochulla/process_says_corrupted.spi are basically impossible to debug. The size of the formulas in the statement verification function is so big that a human can't parse them.

Update: not sure this is such a great improvement, the formulas are still huge even with this lazy evaluation

Change History

comment:1 Changed 5 years ago by hritcu

  • Owner changed from somebody to hritcu
  • Status changed from new to assigned
  • Milestone changed from 0.2.2 to 0.2.1

comment:2 Changed 5 years ago by hritcu

  • Summary changed from Improve debugging by lazily evaluating "pub", "tnt" and "sub" to Improve debugging by lazily evaluating "pub", "tnt", "sub" and "non_disj"

comment:3 Changed 5 years ago by hritcu

  • Status changed from assigned to closed
  • Resolution set to fixed
  • Description modified (diff)
Note: See TracTickets for help on using tickets.