From: Brian Demsky <bdemsky@uci.edu>
Date: Fri, 26 Apr 2013 20:46:35 +0000 (-0700)
Subject: Fix bug that prevents graph generation from compiling.
X-Git-Tag: oopsla2013~22
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=d28d1a3b7aafbcd2caf80de26721293126830fa8;hp=d28d1a3b7aafbcd2caf80de26721293126830fa8

Fix bug that prevents graph generation from compiling.
Check in test case that shows theorem that I've been trying to prove for 2 days is in fact not true (and thus difficult to prove).
---