Skip to content

Commit

Permalink
Move some tests around
Browse files Browse the repository at this point in the history
 - Aliasing3 is disabled because it make verification crash (see #289)
 - Aliasing4 is disabled because it make verification produce incorrect counter-example (see #287)
 - Inheritance9 is disabled because it make xlang crash (see #288)
 - UsingConcreteCLasses is enabled because verification is easy
  • Loading branch information
mantognini committed Dec 15, 2016
1 parent 7727721 commit 4ad0730
Show file tree
Hide file tree
Showing 5 changed files with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ object UsingConcreteClasses {

if (child.opt.v == 42) 0
else 1
}
} ensuring { _ == 0 }

@extern
def main(args: Array[String]): Unit = _main()
Expand Down

0 comments on commit 4ad0730

Please sign in to comment.