Skip to content

Commit

Permalink
Wrap erroneous theorems inside BUGGY compiler directives
Browse files Browse the repository at this point in the history 
If one would like to repro those bugs, just add --define:BUGGY to
compiler flags
  • Loading branch information
@dungpa
dungpa committed Jul 14, 2013
1 parent e07f28c commit cb18490
Show file tree
Hide file tree
Showing 3 changed files with 363 additions and 188 deletions.
Loading

0 comments on commit cb18490

Please sign in to comment.