(test
 (name test_anvil)
 (libraries anvil core base_quickcheck))
