~verifypn-cpn/verifypn/col_weight_fix

Viewing all changes in revision 22.

  • Committer: Jonas Finnemann Jensen
  • Date: 2013-05-12 08:06:23 UTC
  • Revision ID: jopsen@gmail.com-20130512080623-98nq18zzth21tgzb
Adding true/false and deadlock predicates... And tests...

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: