add test for wp_apply and evars (#181)

5 jobs for master in 23 minutes and 52 seconds
Status Job ID Name Coverage
  Build
passed #11096
fp
build-coq.8.7.0

00:09:28

passed #11095
fp
build-coq.8.7.1

00:03:33

passed #11094
fp-timing
build-coq.8.7.2

00:03:29

passed #11093
fp
build-coq.8.8.0

00:10:42

passed #11092
fp
build-coq.dev

00:23:51