-
- Downloads
move test from xlang to purescala for non xlang features
Showing
- src/test/resources/regression/verification/purescala/invalid/Unit1.scala 0 additions, 0 deletions...ces/regression/verification/purescala/invalid/Unit1.scala
- src/test/resources/regression/verification/purescala/valid/Field1.scala 0 additions, 0 deletions...rces/regression/verification/purescala/valid/Field1.scala
- src/test/resources/regression/verification/purescala/valid/Field2.scala 0 additions, 0 deletions...rces/regression/verification/purescala/valid/Field2.scala
- src/test/resources/regression/verification/purescala/valid/InstanceOf1.scala 0 additions, 0 deletions...regression/verification/purescala/valid/InstanceOf1.scala
- src/test/resources/regression/verification/purescala/valid/Unit1.scala 0 additions, 0 deletions...urces/regression/verification/purescala/valid/Unit1.scala
- src/test/resources/regression/verification/purescala/valid/Unit2.scala 0 additions, 0 deletions...urces/regression/verification/purescala/valid/Unit2.scala
File moved
File moved
File moved
File moved
File moved
Please register or sign in to comment