Commit 4fbe3438 authored 10 years ago by Manos Koukoutos Committed by Etienne Kneuss 10 years ago

The the main object in each test should match the file name

parent 0cb7c109

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing

src/test/resources/regression/verification/purescala/invalid/Array1.scala 1 addition, 1 deletion

...es/regression/verification/purescala/invalid/Array1.scala
src/test/resources/regression/verification/purescala/invalid/Array2.scala 1 addition, 1 deletion

...es/regression/verification/purescala/invalid/Array2.scala
src/test/resources/regression/verification/purescala/invalid/Array3.scala 1 addition, 2 deletions

...es/regression/verification/purescala/invalid/Array3.scala
src/test/resources/regression/verification/purescala/invalid/Asserts1.scala 1 addition, 1 deletion

.../regression/verification/purescala/invalid/Asserts1.scala
src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala 1 addition, 1 deletion

...egression/verification/purescala/invalid/FiniteSort.scala
src/test/resources/regression/verification/purescala/invalid/Generics.scala 1 addition, 1 deletion

.../regression/verification/purescala/invalid/Generics.scala
src/test/resources/regression/verification/purescala/invalid/Generics2.scala 1 addition, 1 deletion

...regression/verification/purescala/invalid/Generics2.scala
src/test/resources/regression/verification/purescala/invalid/Lists.scala 1 addition, 1 deletion

...ces/regression/verification/purescala/invalid/Lists.scala
src/test/resources/regression/verification/purescala/valid/Generics.scala 1 addition, 1 deletion

...es/regression/verification/purescala/valid/Generics.scala
src/test/resources/regression/verification/purescala/valid/MyTuple5.scala 1 addition, 1 deletion

...es/regression/verification/purescala/valid/MyTuple5.scala
src/test/resources/regression/verification/purescala/valid/Sets2.scala 1 addition, 1 deletion

...urces/regression/verification/purescala/valid/Sets2.scala
src/test/resources/regression/verification/purescala/valid/Subtyping2.scala 1 addition, 1 deletion

.../regression/verification/purescala/valid/Subtyping2.scala
src/test/resources/regression/verification/xlang/invalid/Array5.scala 1 addition, 1 deletion

...ources/regression/verification/xlang/invalid/Array5.scala
src/test/resources/regression/verification/xlang/invalid/Array6.scala 1 addition, 1 deletion

...ources/regression/verification/xlang/invalid/Array6.scala
src/test/resources/regression/verification/xlang/invalid/Epsilon2.scala 1 addition, 1 deletion

...rces/regression/verification/xlang/invalid/Epsilon2.scala
src/test/resources/regression/verification/xlang/valid/Choose1.scala 1 addition, 1 deletion

...sources/regression/verification/xlang/valid/Choose1.scala
src/test/resources/regression/verification/xlang/valid/Epsilon2.scala 1 addition, 1 deletion

...ources/regression/verification/xlang/valid/Epsilon2.scala
src/test/resources/regression/verification/xlang/valid/IfExpr3.scala 1 addition, 1 deletion

...sources/regression/verification/xlang/valid/IfExpr3.scala
src/test/resources/regression/verification/xlang/valid/Nested6.scala 1 addition, 1 deletion

...sources/regression/verification/xlang/valid/Nested6.scala
src/test/resources/regression/verification/xlang/valid/Nested7.scala 1 addition, 1 deletion

...sources/regression/verification/xlang/valid/Nested7.scala

with 20 additions and 21 deletions

Please register or to comment