This page requires that you also open the Trust but Verify Starter File.

A Data Scientist gives you access to the following function:

# fixed-cats :: Table ‑> Table # consumes a table of animals, and produces a table containing only cats that have been fixed, sorted from youngest-to-oldest

You can use the function, but you can’t see the code for it! How do you know if you can trust their code?

  • You could make a verification subset that contains one of every species, and make sure that the function filters out everything but cats.

  • You could make sure this subset has multiple cats not already ordered youngest-to-oldest, and make sure the function puts them in the right order.

1 What other qualities would this subset need to have?

2 Create your verification subset! In the space below, list the name of each animal in your subset.

Name

These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, and 1738598). CCbadge Bootstrap by the Bootstrap Community is licensed under a Creative Commons 4.0 Unported License. This license does not grant permission to run training or professional development. Offering training or professional development with materials substantially derived from Bootstrap must be approved in writing by a Bootstrap Director. Permissions beyond the scope of this license, such as to run training, may be available by contacting contact@BootstrapWorld.org.