scala - In the specs2 framework, why does using a Scope prevent execution of a forAll quantifier? -


in code below, how can make specs2 execute first test? "print ones" test passes when should fail. code inside forall() section not executing because of new scope.

the println statements tracing output. please let me know if see lines starting "one".

the empty scope demonstrating problem. stripped-down code use variables in scope.

import org.scalacheck.gen import org.scalacheck.prop._ import org.specs2.scalacheck import org.specs2.mutable.specification import org.specs2.specification.scope  class testingspec extends specification scalacheck {   "sample test" should {     "print ones" in new scope {        println("the first test passes, should fail")       forall(gen.posnum[int]) { (x: int) =>           println("one: " + x)           (0 < x) mustnotequal true       }      }       "print twos" in {        println("the second test passes , prints twos")       forall(gen.posnum[int]) { (x: int) =>         println("two: " + x)         (0 < x) mustequal true       }      }    } }

here output:

sbt> testonly testingspec second test passes , prints twos first test passes, should fail two: 1 two: 2 two: 1     ... two: 50 two: 34 two: 41 [info] testingspec [info]  [info] sample test should [info]   + print ones [info]   + print twos [info]  [info] total specification testingspec [info] finished in 96 ms [info] 2 examples, 101 expectations, 0 failure, 0 error [info]  [info] passed: total 2, failed 0, errors 0, passed 2 [success] total time: 3 s, completed apr 28, 2015 3:14:15 pm

p.s. updated project dependency version 2.4.15 specs2 3.5. still has issue...

this because put in scope must throw exceptions when there failure. scalacheck prop not unless execute example passing.

the workaround transform prop specs2 result using following implicit example:

import org.specs2.execute._  implicit class runprop(p: prop) {   def run: result =      asresult(p) }

then 

"print ones" in new scope {    println("the first test passes, should fail")    forall(gen.posnum[int]) { (x: int) =>      println("one: " + x)       (0 < x) mustnotequal true    }.run  }

Comments

Post a Comment

Popular posts from this blog

java - Spring Data JPA: Why findOne(id) executing delete query internally? -

i have 1 application using @manytomany annotation link 2 different entities 1 parent entity. not sure if have implemented properly. when execute .findone() on parent entity's repository find it, @ first fetch data along executing delete queries internally delete record mapping table (a table jpa creates after adding @manytomany annotation.). following generated sql queries , code snippet: java class @entity @table(name = "inventory") public class inventory { @id long id; // many other properties @manytomany(fetch=fetchtype.lazy) private list<stream> streams; @manytomany(fetch=fetchtype.lazy) private list<subject> subjects; } there no other annotation i've put in stream , subject entity class link inventory class. when run app, create following tables: inventory stream subject inventory_stream inventory_subject (inventory_stream , inventory_subject, 2 tables created automatically, don't k...
Read more

python - Mongodb How to add addtional information when aggregating? -

i beginner , wrote line pipeline works, wanna add other information output, screen name , or number of tweets.i tried add under $group gave me syntax error everytime here pipeline: def make_pipeline(): # complete aggregation pipeline pipeline = [ { '$match': { "user.statuses_count": {"$gt":99 }, "user.time_zone": "brasilia" } }, { "$group": { "_id": "$user.id", "followers": { "$max": "$user.followers_count" } } }, { "$sort": { "followers": -1 } }, { "$limit" : 1 } ]; i using on example : { "_id" : objectid("5304e2e3cc9e684aa98bef97"), "text" : "first week of school on :p", "in_reply_to_status_id" : null, "retweet_count" : null, ...
Read more

java - Incorrect order of records in M-M relationship in hibernate -

Image
i have 4 records in bridge table in mysql database. using @manytomany in hibernate, accurate order of employees incorrect incorrect of projects. following required material figure out doing mistake. this source. @entity @table(name="project") public class projectbean { @id @generatedvalue @column(name="project_id") private int projectid; @column(name="title") private string projecttitle; @manytomany(mappedby="projects") private collection<employeebean> employees; public projectbean() { employees = new arraylist<employeebean>(); } //getters & setters } @entity @table(name="employee") public class employeebean { @id @generatedvalue @column(name="employee_id") private int employee_id; @column(name="first_name") private string ...
Read more