Merge branch 'val_noadwhennodo' into 'master'

resolver: new tests from testbound

See merge request !141
10 jobs for master
in 1 minute and 28 seconds and was queued for 2 seconds